generators/JavaGenerator/src/main/java/gargl/main/InputParser.java
private static String readFile(String filename) throws IOException {
		BufferedReader reader = new BufferedReader(new FileReader(filename));
		String line = null;

		StringBuilder sb = new StringBuilder();
		while ((line = reader.readLine()) != null) {
			for (char c : line.toCharArray()) {
				sb.append(c);
			}
			sb.append("\n");
		}

		return sb.toString();
	}
/**
	 * @param filename
	 *            the name of a file to read
	 * @return a String with the contents of the file
	 * @throws IOException
	 */
@param filename
the name of a file to read
@return a String with the contents of the file
@throws IOException
@param filename the name of a file to read @return a String with the contents of the file @throws IOException
private static String readFile(String filename) throws IOException {
		BufferedReader reader = new BufferedReader(new FileReader(filename));
		String line = null;
		StringBuilder sb = new StringBuilder();
		while ((line = reader.readLine()) != null) {
			for (char c : line.toCharArray()) {
				sb.append(c);
			}
			sb.append("\n");
		}
		return sb.toString();
	}
private static String readFile ( String filename ) throws IOException { BufferedReader reader = new BufferedReader ( new FileReader ( filename ) ) ; String line = null ; StringBuilder sb = new StringBuilder ( ) ; while ( ( line = reader . readLine ( ) ) != null ) { for ( char c : line . toCharArray ( ) ) { sb . append ( c ) ; } sb . append ( "\n" ) ; } return sb . toString ( ) ; }
@param filename
            the name of a file to read
 @return a String with the contents of the file
 @throws IOException
@param filename the name of a file to read @return a String with the contents of the file @throws IOException