Searched refs:statsfile (Results 1 – 1 of 1) sorted by relevance
134 File statsfile = new File(statsfilepath); in initialize() local135 statsp = new PrintStream(new FileOutputStream(statsfile.getPath(), false)); in initialize()