From d4695494591bccb7b1dd4358133f8b5e854c3cbb Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Mon, 13 Jan 2014 13:49:43 +0200 Subject: [PATCH] Ensure DevelopmentLauncher uses servlet 3.0 API (#13053) Rendering of JSP pages does not work if servlet 2.5 API comes before servlet 3.0 API on the classpath Change-Id: I6f6bbdb22142848b424c991a15b058ea66ec4eac --- eclipse/Development Server (vaadin).launch | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/eclipse/Development Server (vaadin).launch b/eclipse/Development Server (vaadin).launch index 8f57c441ec..87cee59f29 100644 --- a/eclipse/Development Server (vaadin).launch +++ b/eclipse/Development Server (vaadin).launch @@ -6,6 +6,13 @@ + + + + + + + -- 2.39.5