Retire tla.zip in favor of tla2tools.jar.
Retire tla.zip in favor of tla2tools.jar.

[Build][Changelog]

lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus