lib/java: JsonProtocol: (String) constructor