Servlets: Enveloppe.java is gone