static URLConnection openConnection(URL url) ctex {
  ping();
  ret url.openConnection();
}