#This is a generated file; do not edit.
#Tue Sep 13 04:08:31 GMT 2005
org.eclipse.jdt.doc.user=org.eclipse.jdt.doc.user\n3.1.0
