super();
super (ml); setLocator(ml);
return urlString;
super.setLocator (ml); try { urlString = ml.toString(); //Old version System.out.println("HTTP source: "+urlString); } catch (Exception e) { System.out.println ("Bad URL: " + ml); }