Changed a dubious string constant to stop compiler warnings.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@128 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/settings/SettingEditor.java

@@ -30,7 +30,7 @@ import java.awt.*;
  */
 public interface SettingEditor
 {
-    public static final String NOT_CHANGED_VALUE = "£$%^&*NOTCHANGED*&^%$£";
+    public static final String NOT_CHANGED_VALUE = "$%^&*NOTCHANGED*&^%$";
     
     public Component getTableCellEditorComponent(JTable table, Setting owner, Object value, boolean isSelected, int row, int column);