bashrc: use java 7