MarsSeed [1] filed a deletion request for jdk11-microsoft-openjdk [2]: Abandoned, but also unneeded. This is actually just Microsoft's build (binary) of the same jdk11-openjdk whose latest version is carried by [extra] repo.
[1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/jdk11-microsoft-openjdk/
