*.pkg.*
pkg
src
tla2json.jar