public Properties readSettings(){
  try {
    String pacScriptUrl=detectScriptUrlPerDHCP();
    if (pacScriptUrl == null) {
      pacScriptUrl=detectScriptUrlPerDNS();
    }
    if (pacScriptUrl == null) {
      return null;
    }
    Properties result=new Properties();
    result.setProperty("url",pacScriptUrl);
    return result;
  }
 catch (  IOException e) {
    return new Properties();
  }
}

public Properties readSettings ( ) { try { String pacScriptUrl = detectScriptUrlPerDHCP ( ) ; if ( pacScriptUrl == null ) { pacScriptUrl = detectScriptUrlPerDNS ( ) ; } if ( pacScriptUrl == null ) { return null ; } Properties result = new Properties ( ) ; result . setProperty ( "url" , pacScriptUrl ) ; return result ; } catch ( IOException e ) { return new Properties ( ) ; } }
loads the settings and stores them in a properties map .
