git.eclipse.org / objectteams / org.eclipse.objectteams / 0712f935577ac8d9958983845e8742bfc312d69c / contrib / org.eclipse.objectteams.jdt.nullity / about.ini