Make Java 1.5 binaries instead of 1.4
Eclipse 4.2 will stop support for 1.4 VM as such it now requires 1.5 bycote instead of 1.4 one: https://bugs.eclipse.org/bugs/show_bug.cgi?id=369145
Sat4j is written in Java 5 but is downcompiled to Java 1.4 bytecode using JSR 14 target.
Starting with Sat4j 2.3.2, Sat4j will be compiled with target 1.5 instead of jsr14.