Changes made to .classpath by Miranda's ADT