#This is a generated file; do not edit.
#Fri Oct 07 01:12:01 EDT 2005
org.eclipse.jdt.doc.user=org.eclipse.jdt.doc.user\n3.1.1\norg.eclipse.jdt.doc.user.nl1\n3.1.1
