Minor edit in Server.java