settings updated to work with jdk 1.7
bugfix