private void updateSplitterProportion() {
    DFSTBuilder<Module> builder = new DFSTBuilder<>(myModuleGraph);
    mySplitter.setProportion(builder.isAcyclic() ? 1.0f : 0.6f);
  }
private void updateSplitterProportion()