EOFException when reading DataInputStream

[cunger]

When trying to read a PGF file using PGFReader.fromFile("path/to/file.pgf"), I get the following exception:

java.io.EOFException
	at java.io.DataInputStream.readFully(DataInputStream.java:197)
	at java.io.DataInputStream.readLong(DataInputStream.java:416)
	at java.io.DataInputStream.readDouble(DataInputStream.java:468)
	at org.grammaticalframework.PGFReader.getDouble(PGFBuilder.java:854)
	at org.grammaticalframework.PGFReader.getListWeightedIdent(PGFBuilder.java:811)
	at org.grammaticalframework.PGFReader.getAbsCat(PGFBuilder.java:233)
	at org.grammaticalframework.PGFReader.getListAbsCat(PGFBuilder.java:258)
	at org.grammaticalframework.PGFReader.getAbstract(PGFBuilder.java:192)
	at org.grammaticalframework.PGFReader.readPGF(PGFBuilder.java:116)
	at org.grammaticalframework.PGFBuilder.fromFile(PGFBuilder.java:33)

Does this have something to do with handling the EOF exception in the input stream reader?

(I actually used the .jar provided in the PhraseDroid project; is this up to date? The PGF file itself is fine, the GF shell can load it without problems.)