Remove calls to System.out.print, System.err.print,
and Throwable.printStackTrace (which also uses System.err).
These methods are forbidden in CPAchecker,
because CPAchecker also needs to run in environments
where these methods are not usable
(for example, in unit tests, as Eclipse plugin,
or in the Google App Engine).

Please always use correct logging instead.


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