#This is a generated file; do not edit.
#Fri May 10 12:01:05 EDT 2013
org.eclipse.pde.doc.user=org.eclipse.pde.doc.user\n3.8.2.v20130121-200410\norg.eclipse.pde.doc.user.nl1\n3.8.2.v201305100939
