Java 1.7 project facet