This file should **definitely** be included in version control. If you need to modify it to make jacoco work, that's fine.