Summary: | Could not delete empty java file | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Michael Valenta <Michael.Valenta> |
Component: | Core | Assignee: | Jerome Lanneluc <jerome_lanneluc> |
Status: | RESOLVED WORKSFORME | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | ||
Version: | 2.0 | ||
Target Milestone: | 2.0 M5 | ||
Hardware: | PC | ||
OS: | Windows 2000 | ||
Whiteboard: |
Description
Michael Valenta
2002-04-02 08:56:38 EST
Restarting Eclipse fixed the problem for me (i.e. after restarting, I was able to delete the file). Was your file inconsistent ? When restarting you might be using the -refresh setting which triggers a refresh from local... The navigator was in sync with the file system at the time. I did a refresh local at one point and I still got the error. I could not reproduce in build 20020404. Did you have the problem lately? If not, I will close. Go ahead. I haven't seen it since. Closing. |