1 package polyglot.ext.pao.runtime;2 3 /**4 * Boxed chars.5 */6 public class Character extends Integer {7 public Character(char value) {8 super(value);9 }10 11 public char charValue() {12 return (char)value;13 }14 15 public String toString() {16 return "" + (char)value;17 }18 }