Empty commit
Revert "Empty commit"

This reverts commit 2a4d2e07c9158f69806e0d5f372d75962ea7d2a8.
Merge branch 'Java-Branch' of https://github.com/Wmaarts/PROJ2_V_42IN02VTSOa into Java-Branch