Use short-circuit logical "or" as suggested by error-prone

Author: daniel-raffler

src/org/sosy_lab/java_smt/basicimpl/Tokenizer.java

@@ -238,8 +238,8 @@ public static boolean isExitToken(String token) {
    */
   public static boolean isForbiddenToken(String token) {
     return isPushToken(token)
-        | isPopToken(token)
-        | isResetAssertionsToken(token)
-        | isResetToken(token);
+        || isPopToken(token)
+        || isResetAssertionsToken(token)
+        || isResetToken(token);
   }
 }