#17516 closed enhancement (fixed)
Add compatibility with Java 13
Reported by: | Don-vip | Owned by: | team |
---|---|---|---|
Priority: | normal | Milestone: | 19.09 |
Component: | Core | Version: | |
Keywords: | java13 | Cc: |
Description (last modified by )
Followup of #16498
First EA builds of Java 13 are available.
See #17827 for Java 14 compatibility.
Attachments (0)
Change History (16)
comment:1 Changed 4 years ago by
Type: | defect → enhancement |
---|
comment:2 Changed 4 years ago by
comment:4 Changed 4 years ago by
Java 13 builds are crashing for two months now, even if I reported the bug: javabug:8219902
comment:6 Changed 4 years ago by
New compilation warning:
[javac] /var/lib/jenkins/jobs/Java-EarlyAccess-Integration/workspace/jdk/JDK13/src/org/openstreetmap/josm/io/audio/AudioPlayer.java:297: warning: 'yield' may become a restricted identifier in a future release [javac] yield();
comment:8 Changed 4 years ago by
Description: | modified (diff) |
---|
comment:9 Changed 4 years ago by
javabug:8223552 impacts us and raises several javadoc warnings.
It is closed as won't fix with following workaround:
Use -Xdoclint:-html to disable HTML checking. The option is available in JDK 8 and subsequent releases.
comment:11 Changed 4 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Java 13 has been released: https://www.oracle.com/technetwork/java/javase/13all-relnotes-5461743.html
In 14784/josm: