code: protected Label readLabel(int offset, Label[] labels) {
          // SPRING PATCH: leniently handle offset mismatch
          if (offset >= labels.length) {
              return new Label();
          }
          // END OF PATCH
          if (labels[offset] == null) {
              labels[offset] = new Label();
          }
          return labels[offset];
      }
docs: Returns the label corresponding to the given offset. The default
  implementation of this method creates a label for the given offset if it
  has not been already created.
  
  @param offset a bytecode offset in a method.
  @param labels the already created labels, indexed by their offset. If a
  label already exists for offset this method must not create a
  new one. Otherwise it must store the new label in this array.
  @return a non null Label, which must be equal to labels[offset].