jboss-developer/www.jboss.org — pull request #514 by Dantheman720 (2014-08-30 15:01:43+00:00)
Title: DEVELOPER-810 Added in the list of ignores

My apologies. I thought I submitted a pull on this. I updated with upstream, so it should be all good.