use string names from java version, see #56