Getting HTTP Headers - Case sensitive?

[Alex Milowski]

If I need to get a "Slug" header, I can do:

        Form headers =
getRequest().getAttributes().get("org.restlet.http.headers");
        String slug = headers.getValues("Slug");

but is that "Slug" or "slug" or does it not matter?  For a header, it
should be case-insensitive.

--Alex Milowski