Changed the build so that Savant and QuillDriver's builds include

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.

source/org/thdl/media/SmartJMFPlayer.java

@@ -54,7 +54,7 @@ public class SmartJMFPlayer extends SmartMoviePanel implements ControllerListene
 
 		private Float			to = null;
 /*-----------------------------------------------------------------------*/
-	public static String getName() {
+	public String getName() {
 		return "Java Media Framework";
 	}
 	public SmartJMFPlayer() {