this.lineMentionedMultipleTimes = new BitSet(); BitSet foundOnce = new BitSet(); int lineNum = -1;  LineNumberTable lineNumberTable = method.getLineNumberTable(); if (lineNumberTable != null) for(LineNumber  line : lineNumberTable.getLineNumberTable()) { int newLine = line.getLineNumber(); if (newLine == lineNum || newLine == -1) continue; lineNum = newLine; if (foundOnce.get(lineNum)) this.lineMentionedMultipleTimes.set(lineNum); else foundOnce.set(lineNum); }
	public NullDerefAndRedundantComparisonFinder(			ClassContext classContext,			Method method,			IsNullValueDataflow invDataflow,			NullDerefAndRedundantComparisonCollector collector) {		this.classContext = classContext;		this.method = method;		this.invDataflow = invDataflow;		this.collector = collector;				this.redundantBranchList = new LinkedList<RedundantBranch>();		this.definitelySameBranchSet = new BitSet();		this.definitelyDifferentBranchSet = new BitSet();		this.undeterminedBranchSet = new BitSet();	}