Index: trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java	(revision 952)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/DrawingPreference.java	(revision 953)
@@ -151,5 +151,5 @@
 		if(virtualNodes.isSelected()) {	if (vn < 1) vn = 6; }
 		else { vn = 0; }
-		Main.pref.put("mappaint.node.virtual-size", vn);
+		Main.pref.put("mappaint.node.virtual-size", Integer.toString(vn));
 	}
 }