Removed duplicate entry of bug pattern SERVLET_HEADER.
Merge pull request #1 from uhafner/master

Removed duplicate entry of bug pattern SERVLET_HEADER.