Fixes #17: Servlet init() method will be called exactly once