The minigames, survival, and creative servers have been updated to 1.15 as of 11December2019. The overviewer map might not update correctly until the weekend, when I can compile the latest version.
Update 20191212@16:21: overviewer is updated and the survival server map is current.