Allow netbeans-7.3 to be built with jdk-1.7