public void push(AwtreeNode p_element){
  if (p_element == null)   return;
  node_list.add(p_element);
}

public void push ( AwtreeNode p_element ) { if ( p_element == null ) return ; node_list . add ( p_element ) ; }
pushed p_element onto the stack .
