Strip servlet API from GWT jar to avoid classpath collision

gwt-user.jar is packaging javax.servlet stuff in older version that our
own servlet_api_3_1. In case plugins depend on the new API they get
compilation failures that hard to track down und understand. We are
already stripping outdated Jetty stuff from gwt-dev.jar artifact so that
we don't mind to do it also for gwt-user.jar. The good news are in GWT
2.8 the most dependencies were externalized.

Reported-by: David Pursehouse <dpursehouse@collab.net>
Change-Id: Ief44bc676fca9bcd2fb1e4f7dff4547d1604c5cd
This commit is contained in:
David Ostrovsky 2016-11-09 23:31:07 +01:00 committed by David Ostrovsky
parent 9e1d291e83
commit bb4fca2732

View File

@ -8,6 +8,7 @@ maven_jar(
sha1 = 'bdc7af42581745d3d79c2efe0b514f432b998a5b',
license = 'Apache2.0',
attach_source = False,
exclude = ['javax/servlet/*'],
)
maven_jar(