The implementation of ModuleDescriptor.Version has required version strings to start with a numeric token ever since it was introduced in JDK 9. That was the original intent, but this constraint was not included in the specification. We should update the specification to include this constraint.