jboss-developer/www.jboss.org — pull request #340 by paulrobinson (2014-07-03 08:16:02+00:00)
Title: Revert "Fixes DEVELOPER-515"

Reverts jboss-developer/www.jboss.org#339

Merged too soon :-(