Another update for anyone curious:
The issue was fixed about 3 weeks ago. With the new Version of the Vaadin Gralde Plugin (v0.6.0) it’s now working.
Another update for anyone curious:
The issue was fixed about 3 weeks ago. With the new Version of the Vaadin Gralde Plugin (v0.6.0) it’s now working.