333435363738394041
InputStream is = null; try { is = file.getContents(); } catch (CoreException ignored) { } catch (NullPointerException e) { throw new InvalidPreferenceException(); } return is; }