Better checking of driver names when loading, bugfix in xml generation
Coordinator.java:
-loadDriver() now checks that the drivers name is 10 chars or less

Pre.java, TextArea.java:
-removed constructor with single argument to avoid confusion.

XmlFormatter.java:
-generateXml() now checks the driver's name on the fly.  Fixes a bug where the xml generated would always list driver as 'null' if the driver name had not been set when the XmlFormatter was created.