singleDotPatternWouldBeSilly(0);
singleDotPatternWouldBeSilly(0, false);
    public void sawOpcode(int seen) {    	stack.mergeJumps(this);        if (seen == INVOKESTATIC             && getClassConstantOperand().equals("java/util/regex/Pattern")            && getNameConstantOperand().equals("compile")            && getSigConstantOperand().startsWith("(Ljava/lang/String;I)")            )             sawRegExPattern(1, getIntValue(0, 0));        else if (seen == INVOKESTATIC             && getClassConstantOperand().equals("java/util/regex/Pattern")            && getNameConstantOperand().equals("compile")            && getSigConstantOperand().startsWith("(Ljava/lang/String;)")            )             sawRegExPattern(0);        else if (seen == INVOKESTATIC             && getClassConstantOperand().equals("java/util/regex/Pattern")            && getNameConstantOperand().equals("matches")            )             sawRegExPattern(1);        else if (seen == INVOKEVIRTUAL             && getClassConstantOperand().equals("java/lang/String")            && getNameConstantOperand().equals("replaceAll")            ) {            sawRegExPattern(1);            singleDotPatternWouldBeSilly(1);        	}        else if (seen == INVOKEVIRTUAL             && getClassConstantOperand().equals("java/lang/String")            && getNameConstantOperand().equals("replaceFirst")            )         {            sawRegExPattern(1);            singleDotPatternWouldBeSilly(1);        	}        else if (seen == INVOKEVIRTUAL             && getClassConstantOperand().equals("java/lang/String")            && getNameConstantOperand().equals("matches")            )         {            sawRegExPattern(0);            singleDotPatternWouldBeSilly(0);        	}        else if (seen == INVOKEVIRTUAL             && getClassConstantOperand().equals("java/lang/String")            && getNameConstantOperand().equals("split")            )         {            sawRegExPattern(0);            singleDotPatternWouldBeSilly(0);        	}        stack.sawOpcode(this,seen);    }