Correct instructions on installation of plt (=DrJava).