jlandersen/sw10 — pull request #1 by andreasDalsgaard (2013-06-10 14:32:58+00:00)
Title: Updated to new WALA version and fixed bug when output directory exists

The API of the FileProvider class have changed in the new WALA version. I've updated the code accordingly. It should still work with an old version of WALA but I have not tested. If its a problem please revert the patch for AnalysisEnvironmentBuilder.java - it only contain this change.