Build #239 (Jun 6, 2023, 11:53:25 AM)

1. Centralise use of Eclipse preferences into HManager (details)
2. org.eclipse.hawk.osgiserver: use Java 11 (details)
3. artemis.server: move to Java 11 (details)
4. artemis.server: use state location instead of configuration area for storage (details)
5. users.servlet: move users.db to state location (details)
6. service.servlet: create indexers in the state location instead of the plugin configuration area (details)
7. server.product: artemis.server should be started before the main servlet (details)
8. service.servlet: use state location for metamodel registration as well (details)

Branch indexing

This run spent:

• 12 min waiting;
• 15 min build duration;
• 15 min total from scheduled to completion.

• master