diff --git a/lib/TlaApi-1.2.1-sources.jar b/lib/TlaApi-1.2.1-sources.jar index 156853eb..37cca157 100644 Binary files a/lib/TlaApi-1.2.1-sources.jar and b/lib/TlaApi-1.2.1-sources.jar differ diff --git a/lib/TlaApi-1.2.1.jar b/lib/TlaApi-1.2.1.jar index 7444aaa7..3142821e 100644 Binary files a/lib/TlaApi-1.2.1.jar and b/lib/TlaApi-1.2.1.jar differ