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

>>32
I already said I'll stop explaining it to you. Educate yourself without my help.