439387 Ensure empty servlet-class never generated for quickstart