* @param file The file to open.
*/
public static void openFile(final FlashTree tree, final FileModel model, final File file) {
try {
final LoadedFile loadedFile = model.openFile(file);
// After loading the file, the new node in the tree should
// be selected. This is not done in the event handler because
// in the future there will be other ways to load files and
// those should not display the node selection behavior.