/**
* Removes the given configuration element to this configuration.
*
* @param elt The configuration element to remove.
* @throws IllegalArgumentException if the element is not a part of this configuration
*/
public synchronized void removeElement(ConfigElement elt) throws IllegalArgumentException {
if (!mElements.contains(elt)) {
throw new IllegalArgumentException(
"Element '"
+ elt.getName()
+ "' (type "
+ elt.getDefinition().getToken()
+ ") is not a part of this "
+ "configuration.");
}
mElements.remove(elt);
}
