kill hopefully last dependency of the IFC Console on the joana.wala.core.Main class
bugfix: let IFC Console initially show right value for stubs path
ignore fewer classes