1. 15e141c further adjust quickfixes to current implementation by Stephan Herrmann · 13 years ago
  2. e57451e separate out non-OTDT projects like the nullity prototype by Stephan Herrmann · 13 years ago[Renamed from plugins/org.eclipse.objectteams.jdt.nullity/.settings/org.eclipse.jdt.core.prefs]
  3. 0289ab5 First take at quickfixes/cleanup for null-annotation related problems, by Stephan Herrmann · 13 years ago
  4. f3b02a4 OT/Equinox version of patch v7: https://bugs.eclipse.org/bugs/attachment.cgi?id=186890 by Stephan Herrmann · 13 years ago