@jarus a class inside another class is allowed, but they can't expect to be able to run the inner class as if it was toplevel. And your assumption about the file name is probably correct too.
↧