fix several trivial warnings:
- unused imports
- missing @Override
- raw type
- unchecked cast

git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13230 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c