Henk,
Could you compare timestamps on the deployed files to see how much actually get updated ?
Reply to this message by going to Community
Start a new discussion in JBoss Tools at Community