790791792793794795796797798799800
if (!decodeIntResult.booleanResult()) { break; } ds = decodeIntResult.intResult(); s += sOffset + ds; } } }
230231232233234235236237238239240
} if (!decodeIntResult.booleanResult()) break; deltaWidth = decodeIntResult.intResult(); if (deltaWidth < 0 && -deltaWidth >= symbolWidth) { if(JBIG2StreamDecoder.debug) System.out.println("Bad delta-width value in JBIG2 symbol dictionary"); }