Update of XesTranslator and PromCliLTLChecker.jar