Oracle pushes on with JEDI lawsuit despite DoD dropping cont