docs: public void receiveEOF() throws SQLException, IOException {
      int c = pgInput.read();
      if (c < 0) {
        return;
      }
      throw new PSQLException(GT.tr("Expected an EOF from server, got: {0}", c),
          PSQLState.COMMUNICATION_ERROR);
    }