#Wed Jun 06 11:39:58 CST 2018
jspIndexState=1
eclipse.preferences.version=1