20190904.3

Changes:

• 765f743 Declare lib/tla2tools.jar a dependency to be able to implement TLC module overrides when the tla2tools project from github.com/tlaplus/tlaplus is not present.

This list of changes was auto generated.