> On 29 Apr 2020, at 11:36, Magnus Ihse Bursie <magnus.ihse.bursie at oracle.com> wrote: > > ... > > Bug: https://bugs.openjdk.java.net/browse/JDK-8244093 > WebRev: http://cr.openjdk.java.net/~ihse/JDK-8244093-move-ide-support/webrev.01 The make/idea changes look ok to me. -Chris.