specify Java