fix to java7