使用Gradle eclipse插件定制org.eclipse.jdt.core.prefs

我尝试为一组特定的项目定制一些Eclipse首选项。更具体地说，使用

gradleeclipse

，我想生成带有一些特定条目的.settings/org.eclipse.jdt.core.prefs文件。例如：

org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation=ignore

我知道我必须这么做，但我仍然有一些困难使它工作（而且我对GradleGroovy语言不是很熟悉）

---

谢谢你的帮助

我终于找到了一个工作版本。gradle:

eclipse {
  jdt {
    file {
      withProperties { properties ->
        // set properties for the file org.eclipse.jdt.core.prefs
        properties['org.eclipse.jdt.core.compiler.problem.missingOverrideAnnotation'] = 'ignore'
        properties['org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation'] = 'ignore'
      }
    }
  }
}