fixed build error with missing servlet api