473474475476477478479480481482
} finally { // Objekt wieder freigeben if (syntax != null) factory.unuseObject(syntax,this.type); } } } }
173174175176177178179180181182183
public void unuseObject(SyntaxDE sde,String type) { if (sde!=null) { sde.destroy(); ObjectFactory fac=factories.get(type); fac.unuseObject(sde); } } public String toString() {