Fix JDK 7 OS check