public static String userName(HttpExchange t) {
   HttpPrincipal p = t.getPrincipal();
   if (p == null) {
     return "";
   }
   return p.getUsername();
 }
 public Principal getUserPrincipal(Packet request) {
   return httpExchange.getPrincipal();
 }