private TerminologyManager() {
      try {
         // user configuration
         File userFile = new File(TERMINOLOGIES_FILE);
         if (!userFile.exists()) {
            File dir = new File(System.getProperty("user.home")
                  + System.getProperty("file.separator") + "odml");
            if (!dir.exists())
               dir.mkdir();
            userFile.createNewFile();
         }
         localTerminologies = new Properties();
         localTerminologies.load(new FileInputStream(userFile));
      } catch (NullPointerException e) {
         out.println(e.toString());
         e.printStackTrace();
      } catch (IOException e) {
         out.println(e.toString());
         e.printStackTrace();
      }
      try {
         // user configuration
         File redirectFile = new File(REDIRECTIONS);
         if (!redirectFile.exists()) {
            File dir = new File(System.getProperty("user.home")
                  + System.getProperty("file.separator") + "odml");
            if (!dir.exists())
               dir.mkdir();
            redirectFile.createNewFile();
         }
         redirections = new Properties();
         redirections.load(new FileInputStream(redirectFile));
      } catch (NullPointerException e) {
         out.println(e.toString());
         e.printStackTrace();
      } catch (IOException e) {
         out.println(e.toString());
         e.printStackTrace();
      }
   }