String key = o.toString();\r
// System.out.println(key+"="+all.getProperty(key));\r
if (project.getUserProperty(key) == null) {// not already set\r
String key = o.toString();\r
// System.out.println(key+"="+all.getProperty(key));\r
if (project.getUserProperty(key) == null) {// not already set\r