public final char readChar() throws IOException {return (char) readShort();}

public final char readChar ( ) throws IOException { return ( char ) readShort ( ) ; }
public virtual char readChar(){throw new System.NotImplementedException();}
