String () { if (ourScratchPath != null) return ourScratchPath; String explicit = getExplicitPath(PROPERTY_SCRATCH_PATH); if (explicit != null) { ourScratchPath = explicit; } else { ourScratchPath = getConfigPath(); } return ourScratchPath; }