public void close() {
   while (clients.elements().hasMoreElements())
     try {
       ((RFBClient) clients.elements().nextElement()).close();
     } catch (IOException e) {
       // TODO Auto-generated catch block
       e.printStackTrace();
     }
 }
 public RFBClient getClientForView(View view) {
   // TODO FIXME!
   if (clients.elements().hasMoreElements()) return (RFBClient) clients.elements().nextElement();
   else return null;
 }