Tiny, easily embeddable HTTP server in Java