import com.intellij.psi.util.PsiUtilCore;
import com.intellij.testFramework.IdeaTestUtil;
import com.intellij.testFramework.UsefulTestCase;</BUG>
import com.intellij.testFramework.builders.JavaModuleFixtureBuilder;
import com.intellij.testFramework.fixtures.*;
<BUG>import java.io.File;
import java.util.AbstractList;</BUG>
import java.util.Collection;
public class MultipleJdksHighlightingTest extends UsefulTestCase {
private JavaCodeInsightTestFixture myFixture;

import com.intellij.psi.util.PsiUtilCore;
import com.intellij.testFramework.IdeaTestUtil;
import com.intellij.testFramework.PsiTestUtil;
import com.intellij.testFramework.UsefulTestCase;
import com.intellij.testFramework.builders.JavaModuleFixtureBuilder;
import com.intellij.testFramework.fixtures.*;
import java.io.File;
import java.io.IOException;
import java.util.AbstractList;
import java.util.Collection;
public class MultipleJdksHighlightingTest extends UsefulTestCase {
private JavaCodeInsightTestFixture myFixture;
