Fix the Java JSON documentation