tuned;

more on completion;

adjust modules for Admin/build jars_test;

tuned whitespace;

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);

tuned;

misc tuning;