diff --git a/Makefile.am b/Makefile.am
index 062b9b7e7..b77e4d0e3 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -368,6 +368,11 @@ endif
 
 JAVA_SOURCE = @JAVA_SOURCE@
 
+if WITH_ANDROID
+PREPROCESS_ANDROID = +Android
+else
+PREPROCESS_ANDROID = -Android
+endif
 if WITH_HTTPSERVER
 PREPROCESS_HTTPSERVER = +use:com.sun.net.httpserver
 else
@@ -405,7 +410,7 @@ kawa/Version.class: kawa/Version.java
 gnu/kawa/util/PreProcess.class: gnu/kawa/util/PreProcess.java
 	$(JAVAC) -d . $(JAVACFLAGS) $^
 
-JAVA_PREPROCESS_OPTIONS = @JAVA_SOURCE_SELECTOR@ $(PREPROCESS_HTTPSERVER) $(PREPROCESS_XML) $(PREPROCESS_JLINE3) $(PREPROCESS_LSP4J) $(PREPROCESS_AWT)
+JAVA_PREPROCESS_OPTIONS = @JAVA_SOURCE_SELECTOR@ $(PREPROCESS_HTTPSERVER) $(PREPROCESS_XML) $(PREPROCESS_JLINE3) $(PREPROCESS_LSP4J) $(PREPROCESS_AWT) $(PREPROCESS_ANDROID)
 
 selected-java-source: Makefile $(srcdir)/patch-source-list
 	if test ! -e selected-java-source -o \