Jenkins build is unstable: JBoss-AS-7.0.x-Windows #734