Define the JRE needed to compile and run the Java projects of ${scope.project.label}
Set the heap space needed to work with the projects of ${scope.project.label}
Turn off CSS styling
Set the initial perspective to be Java instead of Resources
Initialize JDT's package explorer to show working sets as its root objects
Install the tools needed in the IDE to work with the source code for ${scope.project.label}
github.remoteURIs
${scope.project.label} Github repository
remoteURI
${scope.project.label}
This target platform contains all dependencies needed by tlatools and TLA+Toolbox
The dynamic working sets for ${scope.project.label}
TLA+ provides the tlatools and the TLA+Toolbox