fixed java 7 options