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