JavaMangle
java_specific