/** Set servlet context attributes that can be used in jsp. */
void setContextAttributes(Context ctx, Map<String, Object> contextAttrs) {
for (Map.Entry<String, Object> e : contextAttrs.entrySet()) {
ctx.setAttribute(e.getKey(), e.getValue());
}
}
