diff options
| -rw-r--r-- | bladictionary.java | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/bladictionary.java b/bladictionary.java index 8f887b2..0691e7b 100644 --- a/bladictionary.java +++ b/bladictionary.java @@ -54,7 +54,7 @@ public class bladictionary { { wn = true; } - else if (line.equals("<Id>foldoc</Id>")) + else if (line.equals("<Id>foldoc</Id>")&&fcount<1) { //Read tech definitions too foldoc = true; @@ -110,7 +110,7 @@ public class bladictionary { { parts = line.split("\\["); - result = result + parts[0]; + result = result + parts[0] + " "; } else { @@ -132,12 +132,21 @@ public class bladictionary { if(parts.length>1) { + //Special case - if it's more than 1 definition + //Keep reading the first one + if(parts[0].equals("1")) + { + result = result + parts[1].substring(1,parts[1].length())+" "; + } + else + { definition2 = false; result = result + parts[0]; + } } else { - result = result + line; + result = result + line + " "; } } @@ -149,6 +158,7 @@ public class bladictionary { if(!result.equals("")) { + result = result.substring(0,result.length()-1)+";"; System.out.println(result); System.exit(0); } |