I can survive it by using something similar to your suggestion but it seems a shoddy thing to do to users to take away the Java their development environment depends on without installing the upgrade at the same time....

On Sat, Jun 17, 2023 at 12:56 PM Mykola Krachkovsky <w01dnick@gmail.com> wrote:
субота, 17 червня 2023 р. 18:34:35 EEST Chuck Davis написано:
> I started a zypper dup this a.m. (20230612 -> 20230616) but noticed it
> apparently wipes out java19 and apparently back levels to java11 so I
> terminated the update.
>
> On Sat, Jun 17, 2023 at 7:54 AM Andrei Borzenkov <arvidjaar@gmail.com>
>
> wrote:
> > Apparently there was full rebuild; any reason for this?
> >
> > The update was from 20230613, so it was not lack of intermediate updates.

Install java20 and remove 19, and then use dup. Java19 is unsupported already.

I've used this:
`sudo zypper in java-20-openjdk-devel java-20-openjdk-jmods -java-19-openjdk -
java-19-openjdk-devel -java-19-openjdk-headless -java-19-openjdk-jmods`

Modify command for your needs.

--
Kind regards,
Mykola Krachkovsky
--
Найкращі побажання,
Микола Крачковський