From 883d6537c2f2465524c330c792f1add906bfcd9d Mon Sep 17 00:00:00 2001
From: Daniel Teske <daniel.teske@digia.com>
Date: Tue, 11 Jun 2013 13:37:10 +0200
Subject: [PATCH] Android: Rename OpenJDK setting to JDK.

Change-Id: Ifc1ea9ccea831270a83a114eb46ade2c68995bc3
Reviewed-by: BogDan Vatra <bogdan@kde.org>
---
 src/plugins/android/androidsettingswidget.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/android/androidsettingswidget.ui b/src/plugins/android/androidsettingswidget.ui
index 1ab321aca9b..d1fb9f07273 100644
--- a/src/plugins/android/androidsettingswidget.ui
+++ b/src/plugins/android/androidsettingswidget.ui
@@ -161,7 +161,7 @@
         </sizepolicy>
        </property>
        <property name="text">
-        <string>OpenJDK location:</string>
+        <string>JDK location:</string>
        </property>
        <property name="alignment">
         <set>Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter</set>