defined servlet