This explains why there were so many big numbers in the openjdk-* package section in my distro. I had assumed they werr placeholders for some reason.