change from java 1.6 to java 1.7 (fix #1)