Sign files/tla2tools.jar and the actual jnlp jar.
Sign files/tla2tools.jar and the actual jnlp jar.

[Feature][Toolbox]
lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus