Delete old Eclipse properties file.