Remove Javadoc profile and related GitLab CI configuration

pom.xml

@@ -132,7 +132,6 @@
         </dependency>
     </dependencies>
 
-
     <build>
         <plugins>
             <plugin>
@@ -223,34 +222,4 @@
             </plugin>
         </plugins>
     </build>
-
-    <profiles>
-        <profile>
-            <id>javadoc</id>
-            <build>
-                <plugins>
-                    <plugin>
-                        <groupId>org.apache.maven.plugins</groupId>
-                        <artifactId>maven-javadoc-plugin</artifactId>
-                        <version>3.6.3</version>
-                        <configuration>
-                            <failOnError>false</failOnError>
-                            <locale>en</locale>
-                            <source>${java.version}</source>
-                            <reportOutputDirectory>${project.basedir}/docs</reportOutputDirectory>
-                        </configuration>
-                        <executions>
-                            <execution>
-                                <id>build-javadoc-html</id>
-                                <goals>
-                                    <goal>javadoc</goal>
-                                </goals>
-                                <phase>package</phase>
-                            </execution>
-                        </executions>
-                    </plugin>
-                </plugins>
-            </build>
-        </profile>
-    </profiles>
 </project>