Minor changes to InternetServerSocket.java