added Praetorium.EF package