From 254a0ad45a4338bca0f7339b09c50948ac9810c3 Mon Sep 17 00:00:00 2001
From: liu fengyun <liu@fengy.me>
Date: Tue, 11 Jul 2017 18:15:54 +0200
Subject: [PATCH] Fix #2850: remove useless java opts for Mac OS

---
 dist/bin/common | 1 -
 1 file changed, 1 deletion(-)

diff --git a/dist/bin/common b/dist/bin/common
index 1c0757c5fe74..86a47ddf4f6f 100755
--- a/dist/bin/common
+++ b/dist/bin/common
@@ -21,7 +21,6 @@ case "`uname`" in
            if [ -z "$JAVA_HOME" ] ; then
              JAVA_HOME=/System/Library/Frameworks/JavaVM.framework/Versions/${JAVA_VERSION}/Home
            fi
-           JAVA_OPTS="$JAVA_OPTS -Xdock:name=\"${PROG_NAME}\" -Xdock:icon=\"$PROG_HOME/icon-mac.png\" -Dapple.laf.useScreenMenuBar=true"
            JAVACMD="`which java`"
            ;;
 esac