*.pkg.*
pkg
src
tla2json*.jar