Fix link in "Port the Java library"