change source to Java 5, with Java 4 bytecode

This allows using autoboxing and other Java 5 features, while still producing Java 4 bytecode, as required by the JiST bytecode rewriter.