Java backend: more documentation