tree f7447934caff43c92f097990f378fb416217f30f
parent abae192cfdebe179aaf3be1923dad745fc0fa78c
author Philipp Wollermann <philwo@google.com> 1515426903 +0100
committer Philipp Wollermann <philwo@google.com> 1515498428 +0100

Disable all JNLP protocols except JNLP4

Change-Id: Ie291dc1a68b974db4c7d775a4017c39301e8e025