Juergen Graf b8477d2144 incorporate changes from other branch ... - basic compatibility with Java 7 (i.e., don't crash immediately) - Added utility class for converting call graphs to JSON. - add edgeExists CLI option to check if some edge exists in the call graph		2012-08-06 12:49:03 +02:00
..
com/ibm/wala/cast/js	incorporate changes from other branch	2012-08-06 12:49:03 +02:00