static ServerSocket makeServerSocket() ctex {
  for (int port = 10000; port < 65535; port++) {
    try {
      return new ServerSocket(port);
    } catch (IOException e) {
      // try next port
    }
  }
  throw fail("No free port found (tried 10000-65535)");
}