add svg version of logo
remove eclipse warnings
rename points-to options
add descriptions to enum options
better descriptions for exception analysis options
don't lose focus of command line input field in console gui
fix broken formatting
add points-to precision option to console gui
Revert "use thread-sensitive chopper for computation of instruction chops"

This reverts commit f4e008a63516c74212ea2693d81bc5c15a344442.

Do not use ThreadChopper (for now) as it crashes on non-concurrent programs
changes on wala submodule
do a simple repaint

updateUI() causes ugly NullPointerExceptions in obscure places
on some platforms.
Revert "changes on wala submodule"

This reverts commit 79c417db203d7fe06b67334fffd0350e0602c520.

Sorry, Jürgen...
extend object-sensitive points-to analysis to support selective unlimited sensitivity
extend run single file ifc demo
adding different options for object-sensitivity
move object sensitive points-to to joana.wala.util
move points-to util to joana.wala.util