Removed duplicate entry of bug pattern SERVLET_HEADER.

While I integrated your plugin messages in my Jenkins findbugs plug-in I noticed that the SERVLET_HEADER pattern was included twice in the messages file.