I'm currently using JBoss Dev Studio 5.0.1GA with AS7.1.0Final and the automatical publishing even of html and jsp pages does not always happen automatically, even with the setting mentioned above set. It seems to work for some projects but not others. For projects which is not working with, the only way to get a change to a jsp refected on the server is to do a full publish.
Any ideas where I can look or what settings I should look at?