{
  public synchronized void readConfiguration()    throws IOException, SecurityException  {    String       path;    InputStream  inputStream;    path = System.getProperty("java.util.logging.config.file");    if ((path == null) || (path.length() == 0))    {      String url = (System.getProperty("gnu.classpath.home.url")		    + "/logging.properties");      inputStream = new URL(url).openStream();    }    else    {      inputStream = new java.io.FileInputStream(path);    }    try    {      readConfiguration(inputStream);    }    finally    {      /* Close the stream in order to save       * resources such as file descriptors.       */      inputStream.close();    }  }