**/*.toolbox
**/states/
tla2tools.jar
**/*.out
**/*.old