Fix JBoss plugin