public synchronized void pushScope(String id){
  scopeStack.push(new Scope(id));
}

public synchronized void pushScope ( String id ) { scopeStack . push ( new Scope ( id ) ) ; }
pushes scope id as the new current executing scope in the scope stack of this thread .
