True, I was just a bit baffled by this. The java->kotlin converter cannot really handle that and generates uncompilable code too.