@Test(timeout = 2000)
public void test6() throws IOException
{

	InputStream in = MainTest.class.getResourceAsStream("rules/data/test-subsec-1.tex");
	ByteArrayOutputStream baos = new ByteArrayOutputStream();
	PrintStream out = new PrintStream(baos);
	int ret_code = Main.mainLoop(new String[] {"--no-color"}, in, out, new NullPrintStream());
	String output = new String(baos.toByteArray());
	assertNotNull(output);
	assertTrue(ret_code > 0);
}