lose inappropriate old RequireNotNull() on String class in FileExists(cuz changed API)