Je ne constate pas ce comportement avec Chrome.

Le lien direct pour protégé (zip sans vm) est le suivant:

http://protege.stanford.edu/download/protege/4.1/zip/?C=M;O=D