Less constructors in InvalidInstrutionFileException

Seems to cause some compilation problem under Java 1.6, at least
with openJDK.