Java

The article is hilariously ill-researched, to the point where it might well be a marketing post. GCC used to have Java support; it was discontinued due to a lack of interest and usage. There is no fundamental barrier to implementing AOT Java. Java's designers intentionally were making a statically-typed first-order Smalltalk that could be efficiently JIT'd; the language is designed for JIT instead of AOT.