Debug.println(Debug.LOW,this+": ServerSocket closed");
Debug.println(Debug.MEDIUM, this + ": ServerSocket closed");
    private void listen() {        try {            this.serverSocket = new ServerSocket(this.SERVER_PORT, this.LISTEN_QUEUE_LENGTH);            Debug.println(Debug.MEDIUM, this + ": Server started on " + this.serverSocket.getInetAddress() + ":" +                this.serverSocket.getLocalPort());                while (!stop) {                    try {                        Socket tmpSocket = serverSocket.accept();                        Debug.println(Debug.MEDIUM,this+": incoming connection from " + tmpSocket.getInetAddress() + ":" + tmpSocket.getPort());                        ClientServant tmpClientServant = new ClientServant(tmpSocket, this, userAdministration);                        this.addToClientServantList(tmpClientServant);                        tmpClientServant.startClientServant();                    } catch (java.io.IOException e) {                        Debug.println(this+": error while listening: "+e);                    }            }        } catch (java.io.IOException e) {            Debug.println(Debug.HIGH, this + ": error opening socket:" + e);        }        try {            this.serverSocket.close();            Debug.println(Debug.LOW,this+": ServerSocket closed");        } catch (java.io.IOException e) {            Debug.println(Debug.HIGH,this+": error closing serverSocket: "+e);        }    }