diff -urEbwB IPAddress-5.3.3/IPAddress/build.xml IPAddress-5.3.3.new/IPAddress/build.xml --- IPAddress-5.3.3/IPAddress/build.xml 2022-03-08 00:31:46.075367341 +0100 +++ IPAddress-5.3.3.new/IPAddress/build.xml 2022-03-08 00:38:54.077932492 +0100 @@ -6,7 +6,6 @@ - @@ -88,17 +87,15 @@ - ${functional_doclet_dir} - - - - - - -