Here you can find the source of closeFile(PrintStream ps)
public static void closeFile(PrintStream ps)
//package com.java2s; /*/* w w w.j ava 2s.c o m*/ * GrGen: graph rewrite generator tool -- release GrGen.NET 4.4 * Copyright (C) 2003-2015 Universitaet Karlsruhe, Institut fuer Programmstrukturen und Datenorganisation, LS Goos; and free programmers * licensed under LGPL v3 (see LICENSE.txt included in the packaging of this file) * www.grgen.net */ import java.io.PrintStream; public class Main { public static void closeFile(PrintStream ps) { ps.flush(); ps.close(); } }