Fixing compilation on java 6, as nimbus has a different package compared to java 7