Also use STDERR for error messages in Server.java