public char readWPChar() throws IOException {
        int c = in.read();
        if (c == -1) {
            throw new EOFException();
        }
        return (char) c;
    }
@Test
    public void testReadChar() throws Exception {
        try (WPInputStream wpInputStream = emptyWPStream()) {
            wpInputStream.readWPChar();
            fail("should have thrown EOF");
        } catch (EOFException e) {
            //swallow
        }
    }