/src/main/java/org/htmlunit/PluginConfiguration.java
} return name_.equals( other.name_) ;final PluginConfiguration other = ( PluginConfiguration) o;
final PluginConfiguration other = ( PluginConfiguration ) o; return name_.equals ( other.name_ ) ; }
} @Override public boolean equals(final Object o) { if (!(o instanceof PluginConfiguration)) { return false; } <extra_id_0> @Override public PluginConfiguration clone() { final PluginConfiguration clone = new PluginConfiguration(getName(), getDescription(), getVersion(), getFilename()); clone.getMimeTypes().addAll(getMimeTypes()); return clone;