RequestDumpFilter で出力される情報が多すぎるので，web.xml で出力する項目を指定できるようにして欲しい．
指定は before/after 別に設定できるとよさげ．
request パラメータは before のみとか，request の attribute はafter のみとか．