1 (OUTDATED -- WALA now in git repository)
2 Svelte is built upon WALA v1.1.2 (r2484), with eclipse/ directory from SVN incubator directory from r2489.
3 In addition, there are necessary bugfixes/workarounds for WALA v1.1.2 given in WALA-bugfixes-yyyymmddhhmm-against-v1.1.2.patch
