workspace path displayed as "null" on "Error: no workspace" page

the page used FilePath.getLocal(), which was removed in
19860fa0706bfae87fbf7fadb9411ad90bc7ee5c (12/2006)