convert to Java