fix broken compilation with java7