HagglePanel: Better workaround for the decentered JSplitPane