488489490491492493494495496497498
} graphWriter.close(); seedWriter.close(); // write out the alphabet file alpha.dump(graphOutputFile + ".alpha"); } catch (IOException ioe) { ioe.printStackTrace(); } }