diff --git a/src/mmt-stex/lib/RusTeX.jar b/src/mmt-stex/lib/RusTeX.jar index 5a83c17bc..d71c486bb 100644 Binary files a/src/mmt-stex/lib/RusTeX.jar and b/src/mmt-stex/lib/RusTeX.jar differ