git.eclipse.org / objectteams / org.eclipse.objectteams / ef45bc17cba3f73e621e3e21519f776b4bb66182 / org.eclipse.jdt.core.tests.model / workspace / ExternalAnnotations18 / Bug482242 / annots / java / util