I noticed the `/**` are Java style instead of like the "this class implements" doc at the top, which is SOS.  (Sanctioned Odersky Style.)