From 9581d97ed4abcec0cff41250874546cc3fedd29a Mon Sep 17 00:00:00 2001
From: Boris Kraut <krt@blackbox.local>
Date: Thu, 23 Oct 2014 23:03:42 +0200
Subject: [PATCH] Wikipedia: Force java1.7 on API srclib.

---
 metadata/org.wikipedia.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/metadata/org.wikipedia.txt b/metadata/org.wikipedia.txt
index 4af83de3f4..1d75bb1848 100644
--- a/metadata/org.wikipedia.txt
+++ b/metadata/org.wikipedia.txt
@@ -77,7 +77,9 @@ Build:2.0-r-2014-10-14,84
     srclibs=MediaWikiApi@32b5b87d0a57900eaa5d7e78d5623cd76f8951b3
     gradle=prod
     prebuild=sed -i -e '/wmflabs/d' -e '/jcenter/amavenLocal()' ../build.gradle && \
-        pushd $$MediaWikiApi$$ && $$MVN3$$ install && popd
+        pushd $$MediaWikiApi$$ && \
+        sed -i -e '/<plugins>/a<plugin><artifactId>maven-compiler-plugin</artifactId><version>3.0</version><configuration><source>1.7</source><target>1.7</target></configuration></plugin>' pom.xml && \
+        $$MVN3$$ install && popd
 
 Maintainer Notes:
 * replaced custom maven repo https://tools.wmflabs.org/android-maven-repo/