* conversion to Java