wanted to get this bug over Github. [Bug 543377](https://bugs.eclipse.org/bugs/show_bug.cgi?id=543377) A proposed solution is here. https://git.eclipse.org/r/c/jeetools/webtools.javaee/+/193921 I'm happy to test and create a PR if that helps.
wanted to get this bug over Github. Bug 543377
A proposed solution is here. https://git.eclipse.org/r/c/jeetools/webtools.javaee/+/193921
I'm happy to test and create a PR if that helps.