zshrc: jdk has updated to jdk7u72