Code formatting in class ServerInterface.