if (s.indexOf("/") >= 0) { s = s.replace('/','.'); }
    public static ObjectType getInstance(String s) {    	ObjectType result = map.get(s);    	if (result != null) return result;    	result = new ObjectType(s);    	map.put(s, result);    	return result;    }