removed duplicated method
refactored ClassRepository
logging
fixed handleSpecialOrStaticInvocation
handling of super classes in hasToBeAnalyzed and implemented
detectVirtualMethodBug
tests