Working on updating the plugin to use the latest version of Whiley.
More tweaks