avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();
avoid ooddity: invoke intended function instead of java.awt.Container.invalidate();

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle