Correction typo in XesTranslator
Add of PromCliLTLChecker.jar