if (customExtensionsFile.exists()) {
if (customExtensionsFile != null && customExtensionsFile.exists()) {
	public void loadCustomDefinitions(File customExtensionsFile ) 	throws JDOMException, InvalidComponentException {		if (customExtensionsFile.exists()) {			try {				loadDefinitions( new FileInputStream( customExtensionsFile ) );			} catch (FileNotFoundException e) {				// this shouldn't happen				System.err.println("Unable to load [custom-extensions.xml]: " + e.toString() );				e.printStackTrace();			} catch (IOException e) {				// this also shouldn't happen				System.err.println("Unable to load [custom-extensions.xml]: " + e.toString() );				e.printStackTrace();			}		}	}