PermCheck with ScalaTest