File mkgmap-enable-seagenerator.diff of Package mkgmap

--- build.xml	2021-10-13 18:32:07.726876236 +0200
+++ build.xml	2021-10-13 18:33:25.786961672 +0200
@@ -237,7 +237,7 @@
 			<compilerarg value="-Xlint:all"/>
 			<compilerarg value="-Xlint:-serial"/>
 			<compilerarg value="-Xlint:-path"/>
-			<exclude name="**/optional/*.java"/>
+			<exclude name="**/osmstyle/optional/*.java"/>
 		</javac>
 	</target>