# # ChangeLog for .settings/org.eclipse.jdt.ui.prefs # # Generated by Trac 1.4 # 11/12/24 21:43:17