JBIDE-14898: different size for linux