bashrc: remove mysterious 'sjo' alias
bashrc: fix up java version related shortcuts