No buffer overflows for Servlet

Not finished, need to decide what to do about the EC.