/src/main/java/org/htmlunit/PluginConfiguration.java
return version;
return name_;
return description_; } public String getFilename() { return filename_; } public String getName() { <extra_id_0> } public String getVersion() { return version_; } public Set<PluginConfiguration.MimeType> getMimeTypes() { return mimeTypes_;