(int ret)
| 1816 | ///////////////////////////////// reader support //////////////////////////////// |
| 1817 | |
| 1818 | static Character readRet(int ret){ |
| 1819 | if(ret == -1) |
| 1820 | return null; |
| 1821 | return box((char) ret); |
| 1822 | } |
| 1823 | |
| 1824 | static public Character readChar(Reader r) throws IOException{ |
| 1825 | int ret = r.read(); |