diff --git a/build.xml b/build.xml index 01a5be076..e15ef3bf4 100644 --- a/build.xml +++ b/build.xml @@ -889,7 +889,13 @@ - + + + + + + + diff --git a/source/de/anomic/data/htmlTools.java b/source/de/anomic/data/htmlTools.java index fc3dc466f..f910ab0af 100644 --- a/source/de/anomic/data/htmlTools.java +++ b/source/de/anomic/data/htmlTools.java @@ -274,7 +274,7 @@ public class htmlTools { System.out.println(decodeHtml2Unicode(txet)); if (decodeHtml2Unicode(txet).equals(text)) System.out.println("correct"); - final String text2 = "encodeUnicode2xml: & \" < > ä ö ü"; + final String text2 = "encodeUnicode2xml: & \" < >"; System.out.println(text2); System.out.println(encodeUnicode2xml(text2)); }