Set java compiler options to avoid problems in CFGBuilderTest