else if (command.equals("dump.txt"))
{
forward = false;
response.setContentType("text/plain");
response.setBufferSize(65536);
new DumpPrinter(getMbsc(), this).print(response.getWriter());
}
else if (doResource(command, response))
{
forward = false;
}