4.0.2 error in clipboard plugin if used in conjunction with divarea plugin

Hi, I'm replacing an editor instance with different configs using javascript in an onChange Event of a checkbox input field.

I get an error in the clipboard plugin most of the time, but not always. Looks to me as if clipboard is reacting to the onChange of the checkbox but the editor might already be destroy()ed. Since this only (as far as I was testing) happens if the divarea plugin is used this also hints in that direction.

Here is a distilled setup:

<input id="swapEditor" type="checkbox" onChange="
  if (this.checked) {
    if (CKEDITOR.instances.text)
      CKEDITOR.instances.text.destroy();
    CKEDITOR.replace('text', {
      toolbar:'Full', 
      extraPlugins:'divarea,clipboard'
      /*someconfig*/});
  } else {
    if (CKEDITOR.instances.text)
      CKEDITOR.instances.text.destroy();   
    CKEDITOR.replace('text', {
      removePlugins:'toolbar', 
      extraPlugins:'divarea,clipboard'
      /*some_other_config*/
    });
}"/>

<textarea id="text">Content</textarea>

This causes the error:

1. Uncaught TypeError: Cannot call method 'getRanges' of null
   1. stateFromNamedCommand  plugin.js:906
   2. setToolbarStates plugin.js:880
   3. type plugin.js:485

 where plugin.js is .../ckeditor/plugins/clipboard/plugin.js

When I go into the console and directly call

CKEDITOR.instances.text.destroy(); CKEDITOR.replace('text', { /* ... */});

everything works fine.

Im using Chrome and Firefox for testing, both show this behavior.

Anyone sees the problem here and can hint me towards a fix?

Regards