implicitly convert Nimrod string to Java String