this doesn't bump the priority anymore, but uses the same priority. it should use a lower priority. also the maintainer scripts refer to OpenJDK-10, preventing removal of these packages.
this doesn't bump the priority anymore, but uses the same priority. it should use a lower priority. also the maintainer scripts refer to OpenJDK-10, preventing removal of these packages.