make sure the generated bytecode runs on jdk 1.5+