map servlet to /