public void push(T newEntry)
{
   checkInitialization();
   stack.add(newEntry);
} // end push
// Version 4.0