[java-sig-commits] [sat4j] Make 1.5-level bytecode