Use osgi.core 4.3.1 for Java7 compiler compatibility