Eclipse 3, deleting & undeleting files ...

i deleted a sourcefile by mistake using the navigtor within Eclipse3. its worth to be mentioned that files get really deleted with this. no chance to undo like having deleted files via M$ Explorer. But as being a really platform/OS independent (java) tool, Eclipse offers a buildin feature for restoring files. Access is done via "Restory from local History ..." via Navigator.