Update developer documentation etc
Addresses #10 (closed)
Metadata files
- Updated for new infrastructure.
- Updated java-diff-utils identification.
- Consistency updates.
Oomph setup
- Updated for new infrastructure.
- Git redirect added.
- 'develop' is now our standard branch.
- Temporarily added branch for issue #10 (closed) for testing.
- Update for new Eclipse Checkstyle update site.
- Removed JVM Monitor from development environment.
- No longer works in recent Eclipse versions.
- Project issue tracker no longer functional.
- Contacted developer but no response.
ESCET (developer) documentation
- Updated for new infrastructure.
- Updated/extended for how we use GitLab.
- Various other small improvements.
Edited by Dennis Hendriks