#This is a generated file; do not edit.
#Thu Jun 01 16:44:57 UTC 2023
org.eclipse.jdt.doc.user=org.eclipse.jdt.doc.user\n3.15.1800.qualifier
