src/java.base/share/classes/java/lang/module/ModuleInfo.java

*** 661,671 ****
          @Override
          public void readFully(byte b[], int off, int len) throws IOException {
              try {
                  bb.get(b, off, len);
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public int skipBytes(int n) {
--- 661,671 ----
          @Override
          public void readFully(byte b[], int off, int len) throws IOException {
              try {
                  bb.get(b, off, len);
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public int skipBytes(int n) {
*** 678,775 ****
          public boolean readBoolean() throws IOException {
              try {
                  int ch = bb.get();
                  return (ch != 0);
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public byte readByte() throws IOException {
              try {
                  return bb.get();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public int readUnsignedByte() throws IOException {
              try {
                  return ((int) bb.get()) & 0xff;
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public short readShort() throws IOException {
              try {
                  return bb.getShort();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public int readUnsignedShort() throws IOException {
              try {
                  return ((int) bb.getShort()) & 0xffff;
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public char readChar() throws IOException {
              try {
                  return bb.getChar();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public int readInt() throws IOException {
              try {
                  return bb.getInt();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public long readLong() throws IOException {
              try {
                  return bb.getLong();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public float readFloat() throws IOException {
              try {
                  return bb.getFloat();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public double readDouble() throws IOException {
              try {
                  return bb.getDouble();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException();
              }
          }
  
          @Override
          public String readLine() {
!             throw new RuntimeException("not implemented");
          }
  
          @Override
          public String readUTF() throws IOException {
              // ### Need to measure the performance and feasibility of using
--- 678,775 ----
          public boolean readBoolean() throws IOException {
              try {
                  int ch = bb.get();
                  return (ch != 0);
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public byte readByte() throws IOException {
              try {
                  return bb.get();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public int readUnsignedByte() throws IOException {
              try {
                  return ((int) bb.get()) & 0xff;
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public short readShort() throws IOException {
              try {
                  return bb.getShort();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public int readUnsignedShort() throws IOException {
              try {
                  return ((int) bb.getShort()) & 0xffff;
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public char readChar() throws IOException {
              try {
                  return bb.getChar();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public int readInt() throws IOException {
              try {
                  return bb.getInt();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public long readLong() throws IOException {
              try {
                  return bb.getLong();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public float readFloat() throws IOException {
              try {
                  return bb.getFloat();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public double readDouble() throws IOException {
              try {
                  return bb.getDouble();
              } catch (BufferUnderflowException e) {
!                 throw new EOFException(e.getMessage());
              }
          }
  
          @Override
          public String readLine() {
!             throw new RuntimeException("readLine() not implemented");
          }
  
          @Override
          public String readUTF() throws IOException {
              // ### Need to measure the performance and feasibility of using