some small problems in fileName-handling
a recent message in Twitter '... the upcoming new release of Sat4J ... ' activated me to throw in a fix from my codebase:
in method parseInstance()
there are two small problems - see comments in lines 107 - 117.