Always launch shark-shell with Java