Even if JEDI happens, will DoD use it?