Smiley's HTTP Proxy implemented as a Java servlet