diff --git a/lib/dtdinst.jar b/lib/dtdinst.jar new file mode 100644 index 0000000000000000000000000000000000000000..50c15022254f080d61c689fdfeeb641e8be87010 Binary files /dev/null and b/lib/dtdinst.jar differ diff --git a/lib/jing-20181222.jar b/lib/jing-20181222.jar deleted file mode 100644 index 5bc05f715764603bf0e5b141eb2575fda3691a02..0000000000000000000000000000000000000000 Binary files a/lib/jing-20181222.jar and /dev/null differ diff --git a/lib/jing.jar b/lib/jing.jar new file mode 100644 index 0000000000000000000000000000000000000000..e2936439c670e26576133bd29092a26b7094b7a1 Binary files /dev/null and b/lib/jing.jar differ