org.eclipse.jdt.core.tests.formatter.FormatterBugs18Tests.testBug425040 (from org.eclipse.jdt.core.tests.RunFormatterTests)