Community
Participate
Working Groups
I suggest we move org.eclipse.e4.core.* plug-ins to Java 1.6 to be consistent with the ui plug-ins and to be able to use @Override for interfaces.
https://git.eclipse.org/r/23172
Fixed with https://git.eclipse.org/c/platform/eclipse.platform.runtime.git/commit/?id=5db0e4a43f2bba8feea658755f7a9e5573995905
.
Verified in Git