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 "