I have followed the steps in https://marketplace.eclipse.org/content/java-15-support-eclipse-2020-09-417 to install the Java 15 support for Eclipse after previously upgrading my Eclipse to 2020-12 (4.18.0). However it doesn't work (compiler not showing version above 12), and build path does not recognize a JDK 15 when added manually:
I wonder if the small red plus icon next to the Java 15 plugin in the third screenshot means anything.
Any help is appreciated.