String type = binFile.readFixedLengthString(5);
binFile.readFixedLengthString(5);
    public void read(BinaryFile binFile) throws java.io.EOFException,            FormatException {        /*         * e.g. "CADRG" , for type - deduced later, via framename of         * entry, and using RpfProductInfo.         */        String type = binFile.readFixedLengthString(5);        compressionRatio = binFile.readFixedLengthString(5);        /*         * Same as type - deduced via RpfProductInfo. There is a float         * scale inside the info, and a scaleString.         */        scale = binFile.readFixedLengthString(12);        zone = binFile.readChar(); /* char: 1-9 A-J */        producer = binFile.readFixedLengthString(5);        coverage.nw_lat = binFile.readDouble();        coverage.nw_lon = binFile.readDouble();        double sw_lat = binFile.readDouble();        double sw_lon = binFile.readDouble();        double ne_lat = binFile.readDouble();        double ne_lon = binFile.readDouble();        coverage.se_lat = binFile.readDouble();        coverage.se_lon = binFile.readDouble();        vertResolution = binFile.readDouble();        horizResolution = binFile.readDouble();        vertInterval = binFile.readDouble();        horizInterval = binFile.readDouble();        vertFrames = binFile.readInteger();        horizFrames = binFile.readInteger();        coverage.subframeLatInterval = vertInterval * 256.0;        coverage.subframeLonInterval = horizInterval * 256.0;        frames = new RpfFrameEntry[vertFrames][horizFrames];        for (int j = 0; j < vertFrames; j++) {            for (int k = 0; k < horizFrames; k++) {                frames[j][k] = new RpfFrameEntry();            }        }    }