Processed: Re: java.lang.ClassCastException: java.io.File cannot be cast to java.lang.Class

[Debian Bug Tracking System]

Processing control commands:

> tags -1 patch
Bug #798699 [freecol] java.lang.ClassCastException: java.io.File cannot be cast to java.lang.Class
Added tag(s) patch.

-- 
798699: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=798699
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems