tree 804d64778b080352719c1a43a00ee900b6cbc030
parent 4d7899dd842983e76f51e1d6803de77cba8b4f11
author Michael Blow <mblow@apache.org> 1476391044 -0400
committer Michael Blow <mblow@apache.org> 1476405437 -0700

Workaround JDK-8080094

NPE enountered if http://<server>:19001/webui is requested

Change-Id: I08b29ec0a219bbcba67cd433f2daea4e67fe5ca9
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1280
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Yingyi Bu <buyingyi@gmail.com>