#Tue Sep 12 11:19:10 CST 2017
useAnnotationsPrefPage=true
eclipse.preferences.version=1
sourceHoverBackgroundColor.SystemDefault=true
sourceHoverBackgroundColor=255,255,225
useQuickDiffPrefPage=true