protected String getFromStoredStrings(int index) {
    	if (debug) debug("getFromStoredStrings(index=", String.valueOf(index), ")");
    	String s = storedStrings.get(index);
    	if (debug) debug("getFromStoredStrings() -> ", StringUtil.toString(s));
    	return s;
    }