Bug#798699: java.lang.ClassCastException: java.io.File cannot be cast to java.lang.Class

[Vincent Fourmond]

  Dear Markus,

  Thanks for looking at the problem and finding the fix. I had somehow
missed the initial report.

  I was planning on packaging the latest release.

  Cheers,

      Vincent

On Sat, Sep 12, 2015 at 1:30 AM, Markus Koschany <apo at gambaru.de> wrote:
> Control: tags -1 patch
>
> Please find attached a patch that fixes the issue. The recent update of
> libcommons-cli-java to version 1.3.1 introduced some changes in
> OptionsBuilder.java which caused this FreeCol runtime error. In general
> Freecol should move away from OptionsBuilder because this class is
> deprecated. I changed the type from File to Class, and so far the game
> works again.
>
> Markus