Robert just informed me about how this has the same effect as a static nested class in Java, which is what we want.