jbosstools/jbosstools-server — pull request #159 by robstryker (2013-10-22 09:39:47+00:00)
Title: JBIDE-15651 - do not use credentials if user did not set them yet

JBIDE-15651 - do not use credentials if user did not set them yet