added comment about dispatcher servlet api