jenkinsci/jenkins — pull request #562 by mpapo (2012-09-10 20:23:58+00:00)
Title: remove empty Maven installations before saving them

small correction fixing https://issues.jenkins-ci.org/browse/JENKINS-14510