jbosstools/jbosstools-server — pull request #40 by robstryker (2013-01-22 11:57:34+00:00)
Title: Jbide 13213 40x

small change to ensure archives is enabled before the project explorer is refreshed.