this.verbose = false;
  public synchronized void releaseShell(ScriptLock lock) throws SmartFrogException {    if (this.lock != lock ) throw new SmartFrogException("LockOwnershipException");    this.verbose = false;    this.lock = null;    notify();  }