Use java.lang.String <=> std::string conversion