diff -ur java-gnome-4.1.3-orig/build/faster java-gnome-4.1.3/build/faster
--- java-gnome-4.1.3-orig/build/faster 2013-05-05 02:08:23.000000000 +0100
+++ java-gnome-4.1.3/build/faster 2020-07-29 18:37:03.343619491 +0100
@@ -648,9 +648,10 @@
cmd += "-quiet "
cmd += "-d doc/api "
+ cmd += "-Xdoclint:none "
cmd += "-public "
cmd += "-nodeprecated "
- cmd += "-source 1.5 "
+ cmd += "-source 1.6 "
cmd += "-notree "
cmd += "-noindex "
cmd += "-notimestamp "
@@ -666,7 +667,6 @@
cmd += "-overview src/bindings/overview.html "
cmd += "-sourcepath src/bindings:generated/bindings "
cmd += "-encoding UTF-8 "
- cmd += "-subpackages org "
cmd += "-exclude org.freedesktop.bindings "
cmd += "-noqualifier 'java.*:com.sun.*' "
cmd += "src/bindings/org/freedesktop/bindings/Time.java "