eclipse file $ escaping