103104105106107108109
ScalaPlatform defaultPlatform = provider.getDefaultPlatform (); if (defaultPlatform!=null) { return defaultPlatform; } } return new FallbackDefaultScalaPlatform(); }