Thanks for the tip, but the plugin is already including the javascript files with wp_register_script() and add_action('init', ...) in the plugin files.
Fortunately enough plugins don't require you to edit/overwrite the header file to include their javascript files
The plugin makes already use of the function add_shortcode(). And the Jedi Master Way in the link I posted as well.
But unfortunately the plugin is coded in a very nasty way. Haven't seen such dirty code in a while and I would have to change too much in the code to apply the solution from the link I posted :-/