Benchmark script recognizes intended status for Java test programs.

This is currently handled as a special case without using a property file
as no properties for Java exist at this point.



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