fix string unescaping

bin/unuglifyjs

@@ -223,7 +223,7 @@ function processFile(file) {
 					var inferred_names = {};
 					for (var i = 0; i < result.length; i++) {
 						if (result[i].hasOwnProperty("inf")) {
-							inferred_names[result[i].v] = result[i].inf.green;
+							inferred_names[result[i].v] = UglifyJS.unescapeString(result[i].inf).green;
 						}
 					}
 					try {

lib/feature_extractor.js

@@ -596,6 +596,10 @@ function escapeString(input){
 	}
 }
 
+function unescapeString(input){
+	return decodeURIComponent(input);
+}
+
 function parseFile(code, file) {	
 	var toplevel = parse(code, {
 		filename	: file

package.json

@@ -3,7 +3,7 @@
   "description": "JavaScript tool that renames variables and parameters to names based on statistical model learnt from thousands of open source projects",
     "homepage": "https://github.com/eth-srl/UnuglifyJS",
     "main": "tools/node.js",
-    "version": "0.9.3",
+    "version": "0.9.4",
     "engines": { "node" : ">=0.4.0" },
     "maintainers": [{
         "name": "Pavol Bielik",