GitHub user srdo opened a pull request:
https://github.com/apache/storm/pull/2725
STORM-3114: Ban jdk.tools
https://issues.apache.org/jira/browse/STORM-3114
You can merge this pull request into a Git repository by running:
$ git pull https://github.com/srdo/storm STORM-3114
Alternatively you can review and apply these changes as the patch at:
https://github.com/apache/storm/pull/2725.patch
To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:
This closes #2725
----
commit e73e03aea61150fd35ca1f8bae7196272e27a909
Author: Stig Rohde Døssing <srdo@...>
Date: 2018-06-18T19:48:41Z
STORM-3114: Ban jdk.tools
----
---