Make another protected field private again.
Mutable fields have to be always private!
For final fields, there can be exceptions
if they don't expose internal state,
but only loggers etc. to subclasses.
Otherwise they are private, too.
Public fields are not allowed.

This is also already listed in the style guide,
please read and follow it.

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