cleanup
remove dependency from slf4j logger in wala.core project
add/remove @SuppressWarnings to keep in sync with wala main branch