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
/*******************************************************************************
 * Copyright (c) 2000, 2003 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials 
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 *