return true;
if (catchType == null) {  thrownExceptionSet.clear(); return true; }  boolean reachable = false;      for (Iterator<ObjectType> i = thrownExceptionSet.iterator(); i.hasNext(); ) { ObjectType thrownException = i.next();  String thrownClassName = SignatureConverter.convert(thrownException.getSignature()); String catchClassName = SignatureConverter.convert(catchType.getSignature());  if (Repository.instanceOf(thrownClassName, catchClassName)) {    reachable = true; i.remove(); } else if (Repository.instanceOf(catchClassName, thrownClassName)) {   reachable = true; } }  return reachable;
	private boolean reachable(Edge edge, Set<Type> thrownExceptionSet)		throws ClassNotFoundException {		BasicBlock handlerBlock = edge.getDest();		return true;	}