Bug 46837 [Navigator] Cannot delete Java project
N20031118 Start a fresh workspace, create a Java project, delete it INCLUDING its resources ==> not possible Works if I don't delete the contents.
bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/actions/DeleteResourceAction.java
* Deletes the given resources.
 */
void delete(IResource[] resourcesToDelete, IProgressMonitor monitor) throws CoreException {
	forceOutOfSyncDelete = false;
	monitor.beginTask("", resourcesToDelete.length); 
	for (int i = 0; i < resourcesToDelete.length; ++i) {
		if (monitor.isCanceled()) {
			throw new OperationCanceledException();
		}
		delete(resourcesToDelete[i], new SubProgressMonitor(monitor, 1, SubProgressMonitor.PREPEND_MAIN_LABEL_TO_SUBTASK));
	}
	monitor.done();
}
/**
 * Deletes the given resource.
 */
void delete(IResource resourceToDelete, IProgressMonitor monitor) throws CoreException {
	boolean force = false; 
	try {
		if (resourceToDelete.getType() == IResource.PROJECT) {
			
			IProject project = (IProject) resourceToDelete;
			project.delete(deleteContent, force, monitor);
		}
		else {
			
			resourceToDelete.delete(IResource.KEEP_HISTORY, monitor);
		}
	}
	catch (CoreException exception) {