diff --git a/JavaModelChecker/libs/btypes.jar b/JavaModelChecker/libs/btypes.jar
index eb7cddc7491f197216ffc5d0d93d0994dd07f920..e1385f4447dd5e015037a39a3dbb339a26df521c 100644
Binary files a/JavaModelChecker/libs/btypes.jar and b/JavaModelChecker/libs/btypes.jar differ