Page History
...
- protegedata/configdata/protege-server.jks
- protegedata/configdata/server-configuration.json
- protegedata/configdata/server.properties
- scripts/shutdown.sh
- scripts/usertokscripts/pellet - only if location of Java varies
- scripts/run-background.sh - only if protege-server.jks password varies
...