fixed the static-typed definitions for the Java backend