[kepler-dev] validate-ptolemy and versions

[Sean Riddle]

I've been setting up 'ant validate-ptolemy' as a cron job to be run  
periodically from a machine at UC Davis. During testing, it completed  
successfully and updated revision.txt. Unfortunately, it's come to my  
attention that while it all compiled with Java 1.6, it would not have  
done so under 1.5. The actual issue is very minor; in the class  
ptolemy.actor.gt.controller.DesignPatternImporter, @Override  
annotations are used for methods implementing an interface, rather  
than just for those overriding a concrete method.

This does raise the question, though, of what exact environment (JDK  
version, OS, etc.) the canonical validate-ptolemy should be run under.  
It also might give us another push toward switching to Java 1.6  
entirely. Thoughts?

- Sean