changed widget.js to add some properties to the widget. Widgets now only get the
gui options as a parameter instead of the whole configuration.
Please refer to the Ant manual under Installing Ant / Library
Dependencies for a list of the jar requirements for various optional
tasks and features.