This is a fork of WALA, tracking minor bug-fixes and enhancements required for DASCA.

The default steps for merging with upstream are:
```
  git fetch upstream
  git checkout master
  git merge upstream/master
```