code: Properties getJavadoc() {
          if(javadoc!=null)    return javadoc;
          synchronized(this) {
              if(javadoc!=null)    return javadoc;
  
              // load
              Properties p = new Properties();
              InputStream is = type.getClassLoader().getResourceAsStream(type.getName().replace('$', '/').replace('.', '/') + ".javadoc");
              if(is!=null) {
                  try {
                      try {
                          p.load(is);
                      } finally {
                          is.close();
                      }
                  } catch (IOException e) {
                      throw new RuntimeException("Unable to load javadoc for "+type,e);
                  }
              }
              javadoc = p;
              return javadoc;
          }
      }
docs: /*package