thrownExceptionSetMap.put(basicBlock, getThrownExceptions(basicBlock));
recordThrownExceptions(basicBlock);
	private void buildThrownExceptionSetMap() {		// Get thrown exception types		for (Iterator<BasicBlock> i = cfg.blockIterator(); i.hasNext();) {			BasicBlock basicBlock = i.next();			if (!basicBlock.isExceptionThrower())				continue;			thrownExceptionSetMap.put(basicBlock, getThrownExceptions(basicBlock));		}	}