Actually you don’t need to patch Kotlin compiler if JaCoCo already filters out all generated methods. The idea with Lombok @Generated annotation was just an experiment.