static URLConnection openConnection(URL url) ctex {
  ping();
  callOpt(javax(), 'recordOpenURLConnection, str(url));
  ret url.openConnection();
}