Created type doesn't implement sealed interface,

[fbricon]

In a Java 15 project, given sealed interface Foo:

public sealed interface Foo permits Bar {}

Bar doesn't exist so there's a code action to create a new class/interface. But, when applied, the new class doesn't implement Foo though, as it should.

[rgrunber]

This seems similar to Bug 564473. JDT UI still has to add the support for sealed/non-sealed/permits modifiers. However this would apply to the their wizard, which JDT-LS doesn't use. I suspect that JDT-LS has some specialized code to create the class and I'll probably just need to update it.

Update : Entry point would be around https://github.com/eclipse/eclipse.jdt.ls/blob/master/org.eclipse.jdt.ls.core/src/org/eclipse/jdt/ls/core/internal/corrections/proposals/NewCUProposal.java#L273

[fbricon]

This is partially completed for now, the generated class now declares it implements the interface, but the interface methods are not implemented a that point. One needs to apply the code action that adds unimplemented methods.