lowering to Java5