AbstractModelLoader: When we load JDK modules, set their version.
annotations: No longer need to hackily encode the version of a dependency as the string literal value of the field we use to hang the import annotations off.
annotations: Fix .src for last change
Issue #1157: Add a test.
annotations metamodel: Remove assertion, which is no longer well-typed now that annotations() has its constraint.
annotations metamodel: Comment assertion which exposes a compiler bug#