Minor changes to Stack.java