Fix link to Java's documentation.