A dummy implementation of the 2.5 Java Servlet designed for sound static analyses - View it on GitHub