The following properties may be useful, either as command-line arguments,
or to check at run-time.
| aleph.batch | If true, start application without the desktop. |
| aleph.communicationManager | Communication manager, see Config.communicationManagers |
| aleph.directoryManager | Directory manager, see Config.directoryManagers |
| aleph.eventManager | Event manager, see Config.eventManagers |
| aleph.label | PE's print name (default PE[n]). |
| aleph.logging | If true, log desktop interactions to a file. |
| aleph.maxPEs | Maximum number of PEs on runtime window choice button. |
| aleph.numPEs | Number of PEs to start up. |
| aleph.pathJava | where to find java |
| aleph.port | talk to Aleph servers listening on this port. |
| aleph.pathRsh | where to find rsh (Unix shells only) |
| aleph.transactionManager | Transaction manager, see Config.transactionManagers |
| aleph.verbosity | Diagnostic messages: 0, 1, or 2 are sensible values. |