Distinguish for Java operators OR, AND, and XOR between boolean and numeric operations
in AST conversion.

Unlike stated in r14426, these three operators get the same operations by the eclipse parser for boolean and numeric types.


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