#This is a generated file; do not edit.
#Fri May 10 11:04:07 EDT 2013
org.eclipse.jst.j2ee.doc.user=org.eclipse.jst.j2ee.doc.user\n1.1.400.v201008122303\norg.eclipse.jst.j2ee.doc.user.nl2\n1.1.400.v201305100939
