Lima[0] also looks like a promising replacement on macOS. It manages provisioning a VM with nerdctl[1] installed, networking, and shared storage. The project has a support path for ARM Macs with a patch QEMU.
One thing to check is sleep apnea. It has become relatively straightforward to diagnose with the advent of at home sleep tests — you put on a special watch and sleep in your bed. If you have it, sleeping with a CPAP machine will be a revelation. A pulmonologist can examine and diagnose you. Highly suggest getting checked for it.
I live 1.5 miles from the Crystal City HQ2 site in Alexandria, VA. Are there affordable housing, transportation, and public safety issues we have to address? Of course. Will we benefit from addressing these problems to add 25,000-35,000 jobs? Far more than the cost/difficulty of solving these problems.
We are thrilled to have them. We would much rather contend with growth problems than a loss of tax revenues, reduced property values, list employment, or low quality jobs. We have subsidize part of their expansion, but the growth will pay back that investment in 5-7 years. We can live that ROI.
Of course they care about those battles. Not only could they impact their renewal and/or trigger large penalties, but they can (and often do with large contracts) percolate up to Congressional oversight committees. Unless you have experienced intensity of political battles within the IC, it is impossible to understand their stakes (in terms of both money and reputation) for $100 million+ programs of record.
The intelligence community (IC) [1] is not part of the JEDI contract [2]. While many IC components are part of DoD, the IC spans a wider swath of government (e.g. parts are distributed across DOJ, DOE, Homeland Security, State, etc). In addition to different mission sets, they are also governed under a different set of laws. Therefore, DoD (like DOJ, DOE, Homeland, etc) systems connect to IC systems to share information, but there are distinct infrastructures whereby neither has full visibility into the other.
I live about 2 miles away. I can tell you that not only have they been building it out at a prodigious pace (they had people were working in Crystal City by the end of 1Q2019). They have signed construction contracts, leases, extended offers to employees, etc. They are committed to it now.
Also, Amazon has a tremendous footprint here already. Their largest region is located in Ashburn (~25 miles east), CIA is roughly 5 miles for Crystal City, Herndon and Ballston have large AWS sales/engineering offices, and Richmond (roughly 1.5 hours south) hosts one of their largest distribution centers on the east coast. In short, they were committed to this area long before HQ2, let alone JEDI. They cannot be happy about losing the contract award, but it was only one of many things Amazon/AWS are going in NoVA.
You must contend with politics working for USG at any level for any department/agency. There are plenty of very nasty, bitter politics within each of the intelligence agencies, as well as, across the larger intelligence community (IC). These are massive organizations with very large budgets. Because these battles occur in classified settings, they are not visible to the public. I highly doubt that AWS hasn't had to content with a myriad of political battles within CIA, not the least of which being, groups within the CIA who remain skeptical about "cloud" and trusting a third-party with their data.
One of the primary drivers for JDK support is security. As far as I can tell, Oracle remains the only member of the OpenJDK community participating in the vulnerability pre-disclosure process. They are also not releasing source for JDKs after 6 months. Therefore, users of non-Oracle supported JDKs will be exposed to a zero day attack between the time of Oracle's CVE disclosure/patch release and the time that their OpenJDK distribution creates, tests, and releases a patch. I would love to see these communities thrive, but the reality is that Oracle is strangling them in the crib by taking control of the most important support functions.
[0]: https://github.com/lima-vm/lima [1]: https://github.com/containerd/nerdctl