The keywords here. Even though every dev on my team knows postgres equally or better than mysql, management chose mysql.
I'm one of the equally camp, and don't possess a strong personal preference, but I was surprised that it was the favorite of the devs and not trusted by the business.
Sadly, Oracle Java could also be in that blacklist. I've tried going through the hoops of downloading Oracle's "community" versions of MySQL in the past -- Java 6 for Android development IIRC. Today, I appear to have openjdk version "1.8.0_212", is this a fork?
The MySQL community server can be downloaded from https://dev.mysql.com/downloads/mysql/ the biggest "hoop" is that it asks for an account or registration in big letters, while there is a link to bypass that below the big box.
Alternatively there is http://www.github.com/mysql and contrary to older versions this compiles quite easily if CMake and compilers are around.
Linux and postgres is my new standard.