Issue #8895 - delete javadoc sources (#8977)

* Issue #8895 - delete javadoc sources

Delete java source files used to generate javadocs,
so that IDEs do not report duplicate sources.

Signed-off-by: Simone Bordet <simone.bordet@gmail.com>

javadoc/pom.xml

@@ -53,7 +53,7 @@
         <artifactId>maven-antrun-plugin</artifactId>
         <executions>
           <execution>
-            <id>init-jetty-sources-dir</id>
+            <id>create-sources-dir</id>
             <phase>generate-sources</phase>
             <goals>
               <goal>run</goal>
@@ -64,6 +64,18 @@
               </target>
             </configuration>
           </execution>
+          <execution>
+            <id>delete-sources-dir</id>
+            <phase>verify</phase>
+            <goals>
+              <goal>run</goal>
+            </goals>
+            <configuration>
+              <target>
+                <delete dir="${sources-directory}" failonerror="false" />
+              </target>
+            </configuration>
+          </execution>
         </executions>
       </plugin>
       <plugin>