> For example, given the following classes (styled as Java code for readability)

I believe this implies it's not meant to actually be written in this way by Java developers.