change source to Java 1.5, with Java 1.4 bytecode

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