Fix compile errors in Java B types with big integer

benchmarks/prob/lib/Promela.jar

benchmarks/prob/lib/TLA2B.jar

benchmarks/prob/lib/TLC4B.jar

benchmarks/prob/lib/alloy2b-1.0-SNAPSHOT.jar

benchmarks/prob/lib/anarres-cpp/anarres-cpp.jar

benchmarks/prob/lib/anarres-cpp/gnu.getopt.jar

benchmarks/prob/lib/probcliparser.jar

benchmarks/prob/lib/probkodkod.jar

..._integer/src/main/java/de/hhu/stups/btypes/BRelation.java

...s_big_integer/src/main/java/de/hhu/stups/btypes/BSet.java

microbenchmarks/README.md

microbenchmarks/cpp/BENCHMARKS_CLANG.txt

microbenchmarks/cpp/BENCHMARKS_GPP.txt

microbenchmarks/cpp/clangpp.txt

microbenchmarks/cpp/gpp.txt

microbenchmarks/cpp/integer_boolean/big_integer/And.cpp

microbenchmarks/cpp/integer_boolean/big_integer/BBoolean.cpp

microbenchmarks/cpp/integer_boolean/big_integer/BCouple.cpp

microbenchmarks/cpp/integer_boolean/big_integer/BInteger.cpp

microbenchmarks/cpp/integer_boolean/big_integer/BObject.cpp