docs: @JSFunction
      public String readChar() throws IOException {
          int i = getReader().read();
          if (i == -1)
              return null;
          char[] charArray = { (char) i };
          return new String(charArray);
      }