Useful Java services: redef `JavaObject::to_s` and intro `JavaObject::is_java_null` with doc