Remove reference to java servlet API