1. 9ade599 J2SE-1.5 is enough for this project (and don't store OT-specific options) by Stephan Herrmann · 11 years ago
  2. 1b0d5b7 gather all nullity related projects under contrib by Stephan Herrmann · 11 years ago[Renamed from testplugins/org.eclipse.objectteams.jdt.nullity.tests/.settings/org.eclipse.jdt.core.prefs]
  3. 23bff69 OT/Equinox version of patch v7: https://bugs.eclipse.org/bugs/attachment.cgi?id=186890 (Tests) by Stephan Herrmann · 11 years ago