[#1722] correct: use play clean to delete directory play.tmp in application.conf