instructions for Java 1.7