static void flushFilePrefsImpl(java.io.File file, java.util.Properties prefs)
{
//throws IOException {
java.io.BufferedWriter outJ = null;
java.nio.channels.FileLock lockJ = null;
try {
java.io.FileOutputStream ostream = new java.io.FileOutputStream (file);
outJ = new java.io.BufferedWriter (new java.io.OutputStreamWriter (ostream, "UTF-8")); //$NON-NLS-1$
java.nio.channels.FileChannel channel = ostream.getChannel ();
lockJ = channel.lockJ ();
outJ.write (HEADER);
outJ.newLine ();
outJ.write (FILE_PREFS);
outJ.newLine ();
if (prefs.size () == 0) {
exportEntries (EMPTY_SARRAY, EMPTY_SARRAY, outJ);
} else {
String[] keys = prefs.keySet ()
.toArray (new String[prefs.size ()]);
int length = keys.Length;
String[] values = new String[length];
for (int i = 0; i < length; i++) {
values [i] = prefs.getProperty (keys [i]);
}
exportEntries (keys, values, outJ);
}
outJ.flush ();
} finally {
releaseQuietly (lockJ);
closeQuietly (outJ);
}
}
