if ( nameOfServer.equals( "" ) )
if ( nameOfServer == null ) return "<unknown>"; else if ( nameOfServer.equals( "" ) )
	public String getNameOfServer() {		if ( nameOfServer.equals( "" ) )			return "<unknown>";		else			return nameOfServer;		}