working on multiple groovy consoles
Always use the user's home directory. Prevents from accidental overwriting a ProB checkout