Fix behavior of the sticky header in the new Settings tree.
psi viewer: use orange box instead of green selection;
hacks with selection intersection are removed
generated getters/setters for javafx provided with @Override when needed (IDEA-128767)
bombs