From d77ae15b66ce24dc38b0460220a2e2acbbaa818a Mon Sep 17 00:00:00 2001
From: "coder.chenzhi" <coder.chenzhi@gmail.com>
Date: Mon, 9 Apr 2018 02:05:24 +0800
Subject: [PATCH] fix parsing property names from command line

---
 client/src/main/java/com/github/gumtreediff/client/Run.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/client/src/main/java/com/github/gumtreediff/client/Run.java b/client/src/main/java/com/github/gumtreediff/client/Run.java
index 3f1ce0077..1db5f8eff 100644
--- a/client/src/main/java/com/github/gumtreediff/client/Run.java
+++ b/client/src/main/java/com/github/gumtreediff/client/Run.java
@@ -39,7 +39,7 @@ public Option[] values() {
 
                         @Override
                         protected void process(String name, String[] args) {
-                            String key = args[0].startsWith("gumtree.") ? args[0] : "gumtree." + args[0];
+                            String key = args[0].startsWith("gt.") ? args[0] : "gt." + args[0];
                             System.setProperty(key, args[1]);
                         }
                     },