Added ability to change PLAF from a property file.
Added fix for Java 7 verifier bug.

zag has to be called with JVM option -XX:-UseSplitVerifier. For Linux a
shell script was added.