BUGFIX: re-enabled tomcat restart for batched sequential installs
BUGFIX: re-enabled tomcat restart for batched sequential installs

ernestoongaro/jrs-extra-samples,ernestoongaro/jrs-extra-samples,ernestoongaro/jrs-extra-samples,ernestoongaro/jrs-extra-samples,ernestoongaro/jrs-extra-samples