Exclude bogus content from jar file creation to reduce size of tla2tools.jar
Exclude bogus content from jar file creation to reduce size of
tla2tools.jar

[Build]
lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus