not sure if that is needed (trying with java 7 though)