Project
Creates a new project resource.
The project is a container where Promela model(s) will be saved:
select File > Other > General > Project.
The project name and the project location directory (if different from the default one) must be specified.
The project may be added to a selected working sets.