From 8e39c1f622a06faae55bbd23b2dcc328cd73267b Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 12 Aug 2015 18:44:45 +0000
Subject: [PATCH] Bugfix in the android app for Chinese which was causing the
 first character in the translation to disappear

---
 .../src/org/grammaticalframework/ui/android/Translator.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
index 648d17733..0ddc4df8e 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
@@ -240,9 +240,9 @@ public class Translator {
     }
 
     private static String implode(String s) {
-	return s.replaceAll("\\s","");
-    } 
-	
+		return s.replaceAll("(?<!^[%*+])\\s","");
+    }
+
     private String translateWord(String input) {
 
     	String output = input.toUpperCase() ;  // if all else fails, return the word itself in upper case ///in brackets