410411412413414415416417418419420
} catch(Throwable e) { e.printStackTrace(); } // Generic Eclipse return new GenericEclipsePlatform(); } // no luck! // The platform is unknown return null;