adjust modules for Admin/build jars_test;
added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);
transfer focus before closing old component -- avoid intermediate focus switch to root component, which is actually visible e.g. on Windows;
Added tag Isabelle2013-1-RC4 for changeset 594628261376
updated to polyml-5.5.1-1 (fixes-5.5.1 version 1875);