Buddy Classloading

[lemmy]

FYI: With TLC nightly, a CommunityModules.jar will automatically be loaded if it is located in the same folder as tla2tools.jar. This removes the need to reference a specific version of CommunityModules in scripts. Additionally, it means one can continue to launch TLC with /path/to/tla2tools.jar ... instead of java -jar /path/to/tla2tools.jar:CommunityModules.jar.