docs: private String resolveString(String s) {
  
  		int pos = s.indexOf(":", 0);
  
  		if (pos == -1)
  			return System.getProperty(s);
  
  		String key = s.substring(0, pos);
  		String defval = s.substring(pos + 1);
  
  		String val = System.getProperty(key);
  
  		if (val != null)
  			return val;
  		else
  			return defval;
  	}