Generate Javadoc only with Java 11

For a reason beyond me, the CI-profile of Maven causes the unit tests to fail (with instrumentation errors) when running on Java 17.

This removes the CI profile from the generic build phase.

The CI profile (and thus, generation of Javadoc and Sources) is still active on the 'deploy' phase. In this phase, only Java 11 is used.

.github/workflows/continuous-integration-workflow.yml

@@ -24,7 +24,7 @@ jobs:
           distribution: ${{ matrix.distribution }}
           cache: maven
       - name: Build with Maven
-        run: ./mvnw -B package -Pcoverage,ci --file pom.xml
+        run: ./mvnw -B package -Pcoverage --file pom.xml
       - name: Upload distribution
         if: ${{ matrix.distribution == 'zulu' }}
         uses: actions/upload-artifact@v3