Method indexOf

src/sunlabs/brazil/util/StringMap.java:511–522

(String key)

    }

    private int
    indexOf(String key)
    {
	int length = keys.size();
	for (int i = 0; i < length; i++) {
	    String got = (String) keys.elementAt(i);
	    if (key.equalsIgnoreCase(got)) {
		return i;
	    }
	}
	return -1;
    }

    /**
     * Append another Stringmap onto this one.