[forge-commits] [forge/jbosstools-forge] 56d7b4: JBIDE-14898: different size for linux