docs: protected static List<Triple<Short,String,Boolean>> readMappings(String name) throws Exception {
          InputStream stream;
          stream=Util.getResourceAsStream(name, ClassConfigurator.class);
          // try to load the map from file even if it is not a Resource in the class path
          if(stream == null)
              stream=new FileInputStream(name);
          return parse(stream);
      }