Jenkins build is still unstable: JBoss-AS-7.1.x-Windows #1256