finished Server.java class