Fix #863: Cleanup Javalib

This commit comments all methods in the Javalib which throw a not
implemented exception. This allows the linker to detect usage of such
a method, rather than having the program fail at runtime.
Sometimes you end with `: Type`, sometimes with `: Type =`, sometimes with `: Type = {}`. You should be consistent. I would choose the former, or else `: Type = ???`.