jbosstools/jbosstools-central — pull request #238 by fbricon (2014-05-30 09:49:37+00:00)
Title: JBIDE-17471 JBIDE-17463 : fix various NPE & disposed widget issues

https://issues.jboss.org/browse/JBIDE-17471
https://issues.jboss.org/browse/JBIDE-17463