Fix bug 916388: clean jboss* tmp dirs during tidy