.bashrc: use java 7