Bug#942495: RM: openjdk-12 -- not seeing security updates anymore

[Matthias Klose]

Package: ftp.debian.org

Please remove openjdk-12, not seeing security updates anymore upstream. 
Superseded by openjdk-13.