*/
public void addChild (Element child) throws BuilderException {
assert (child != null);
if (source != null)
throw new BuilderException ("Element can only have one source module.");
if (!(child instanceof ModuleBuilder))
throw new BuilderException (
"Element can only have a module as a sources.");
setSource ((ModuleBuilder) child);
}