Scrap Your Boilerplate

12 lines of Agda code is verified red-black tree insertion.
12 lines of Java code would be a class declaration with some getters/setters

>>24

a getter/setter pair

Who told you that getters and setters have to form pairs, dipshit? Methods are messages and should be designed around the dataflow and functionality separation between objects, not about what fields they happen to have at a certain moment in development & maintenance cycle. It may be totally logical to have a getter without a setter, or a setter that also gets the value, or a getter that also modifies the value, or a getter for three fields at once.