Smart*Player.java, which are accessed via reflection. Cleaned up the
code a bit so that it would compile in so doing.
Changed the 'options.txt' preferences file to reflect the new method
of selecting media players.
be specified on the command line via
'ant -Djnlp.codebase="http://foo.bar/baz"'.
This means that dist/ no longer contains .jnlp files; they are created by Ant
instead.
At present, dist/*.jnlp refer to my own personal web server, and the build
system is aware of my personal keystore because creating a JWS release
involves signing JARs. It will be very simple to change this once we have
a real PKI certificate and once we deploy on thdl.org.
Note that Savant and QuillDriver's releases are only half-done right now;
they do not include the XML and JMF libraries yet.
