jenkinsci/diskcheck-plugin — pull request #1 by christ66 (2014-12-11 10:00:13+00:00)
Title: Use Jenkins FilePath api for cleaning workspace

Easier to let Jenkins internal api to manage the deletion of workspaces.