#1 Config, trim always overide in config

[ing. Rolf Huisman]

StringCompare with != shouldn't be done

Index: gov/nasa/jpf/Config.java

--- gov/nasa/jpf/Config.java (revision 210)
+++ gov/nasa/jpf/Config.java (working copy)
@@ -363,7 +363,7 @@
// trim heading and trailing blanks (at least Java 1.4.2 does not take care of trailing blanks)
String v0 = v;
v = v.trim();
- if (v != v0) {
+ if (!v.equals(v0)) {
put(k, v);
}