I deleted a JSP file in the Offline project some time ago. I cannot find it in the Online project. How can I restore the file (note that I do _not_ know the name of the file)? Is there some sort of trash can or perhaps history of deleted files?