I suspect the colon-colons were a mistake. Java uses periods for both modules and classes, and it doesn't seem to be a problem there. Lifetimes are really ugly

I suspect the colon-colons were a mistake. Java uses periods for both modules and classes, and it doesn't seem to be a problem there. Lifetimes are really ugly. You usually don't need to write them explicitly, but that's not a real excuse.