Cross Reference: /external/jsr305/ri/.settings/org.eclipse.jdt.ui.prefs

Cross Reference: org.eclipse.jdt.ui.prefs

xref: /external/jsr305/ri/.settings/org.eclipse.jdt.ui.prefs