GSView 4.6 on Windows with ghostscript 8.14 compains about DSC violations, that
seem to be triggered by the %%Pages: comment in the postscript prolog. UPPAAL
claims that there is one page in the document, but ghostscript does not agree
with this. Removing the %%Pages: comment seems to solve the problem (although I
do not know if this is valid).
According to this page:
an EPS file should not use showpage. According to the DSC, a file not using
showpage should set the page count to zero.
A fix for 3.4 has been checked into CVS.