internal static bool doesFileExist(java.io.File f) { return f.exists (); }
static java.util.Properties loadFilePrefsImpl(java.io.File file) { Properties result = new Properties (); if (!file.exists ()) { file.getParentFile ().mkdirs (); return result; } if (file.canRead ()) { java.io.InputStream inJ = null; java.nio.channels.FileLock lockJ = null; try { java.io.FileInputStream istream = new java.io.FileInputStream (file); inJ = new java.io.BufferedInputStream (istream); java.nio.channels.FileChannel channel = istream.getChannel (); lockJ = channel.lockJ (0L, java.lang.Long.MAX_VALUE, true); org.w3c.dom.Document doc = builder.parse (inJ); org.w3c.dom.NodeList entries = org.apache.xpath.XPathAPI.selectNodeList (doc .getDocumentElement (), "entry"); //$NON-NLS-1$ int length = entries.getLength (); for (int i = 0; i < length; i++) { org.w3c.dom.Element node = (org.w3c.dom.Element)entries.item (i); String key = node.getAttribute ("key"); //$NON-NLS-1$ String value = node.getAttribute ("value"); //$NON-NLS-1$ result.setProperty (key, value); } return result; } catch (java.io.IOException e) { } catch (org.xml.sax.SAXException e) { } catch (javax.xml.transform.TransformerException e) { // transform shouldn't fail for xpath call throw new java.lang.AssertionError (e); } finally { releaseQuietly (lockJ); closeQuietly (inJ); } } else { file.delete (); } return result; }