code: public String getModuleExtension()
     {
        if (value >= moduleExtensions.length)
           return Integer.toString(value);
        return moduleExtensions[value];
     }
docs: Get the file extension for this module
  
  @return the file extension