403404405406407408409410411412413
{ if( destroyed ) return; if(!names.isEmpty() || !contexts.isEmpty() ) throw new NotEmpty(); else { names = null; contexts = null; destroyed = true;
258259260261262263264265266267268
public void destroy() throws NotEmpty { if (this.destroyed) return; if (!this.names.isEmpty() || !this.contexts.isEmpty()) throw new NotEmpty(); else { this.names = null; this.contexts = null; this.destroyed = true; }