org.eclipse.jdt.core.tests.builder.StaticFinalTests.testDouble (from org.eclipse.jdt.core.tests.builder.BuilderTests)