public class CharKeller extends Keller {
 
	 public CharKeller() {                      // legt leeren CharKeller an
		 super();
	 }
 
	 public void push(char x) {                 // legt char x auf den Keller
		 push(new Character(x));
	 }
 
	 public char ctop() {                       // liefert oberstes Kellerelement
		 return ((Character)top()).charValue();
	 }
}