update for linuxmint 17 and java 7 jdk