173174175176177178179180181182183
public void unuseObject(SyntaxDE sde,String type) { if (sde!=null) { sde.destroy(); ObjectFactory fac=factories.get(type); fac.unuseObject(sde); } } public String toString() {