archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-08-28 15:24:43 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge

Browse source
This commit is contained in:
Jesper Wilhelmsson 2021-12-21 21:58:05 +00:00
commit 803cb8a768
80 changed files with 975 additions and 387 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/java.base/share/classes/java/lang/module/ModuleDescriptor.java
View file

@ -893,7 +893,8 @@ public class ModuleDescriptor
* integer or a string. Tokens are separated by the punctuation characters
* {@code '.'}, {@code '-'}, or {@code '+'}, or by transitions from a
* sequence of digits to a sequence of characters that are neither digits
* nor punctuation characters, or vice versa.
* nor punctuation characters, or vice versa. Consecutive repeated
* punctuation characters are treated as a single punctuation character.
*
* <ul>
*