prio = (constantArgument ? HIGH_PRIORITY : NORMAL_PRIORITY);
prio = NORMAL_PRIORITY;
  public void sawOpcode(int seen) {    // detect if previous op was a constant number    if (seen == ICONST_0 || seen == LCONST_0 ||	seen == ICONST_1 || seen == LCONST_1 ||	seen == ICONST_2 || seen == ICONST_3 ||	seen == ICONST_4 || seen == ICONST_5 ||	seen == BIPUSH || seen == LDC) {      constantArgument = true;      return;    }            // only acts on constructor invoke    if (seen != INVOKESPECIAL) {      constantArgument = false;      return;    }            if (!"<init>".equals(getNameConstantOperand())) {      return;    }    String cls = getClassConstantOperand();     Info info = boxClasses.get(cls);    if (info == null) {      return;    }            if (!info.constrArgs.equals(getSigConstantOperand())) {      return;    }            int prio;    String type;    if (info.isRealNumber) {      prio = LOW_PRIORITY;      type = "DM_FP_NUMBER_CTOR";    } else {      prio = (constantArgument ? HIGH_PRIORITY : NORMAL_PRIORITY);      type = "DM_NUMBER_CTOR";    }            cls = cls.substring(cls.lastIndexOf('/')+1);    bugReporter.reportBug(new BugInstance(this, type, prio)			  .addClass(this)			  .addMethod(this)			  .addSourceLine(this)			  .addString(cls+"("+info.argName+")")			  .addString(cls+".valueOf("+info.argName+")"));  }