package com.googlecode.lanterna.gui2;
import com.googlecode.lanterna.TerminalSize;
<BUG>import com.googlecode.lanterna.graphics.ThemeDefinition;
import com.googlecode.lanterna.input.KeyStroke;</BUG>
import com.googlecode.lanterna.input.KeyType;
import java.util.ArrayList;
import java.util.List;

package com.googlecode.lanterna.gui2;
import com.googlecode.lanterna.TerminalSize;
import com.googlecode.lanterna.graphics.ThemeDefinition;
import com.googlecode.lanterna.graphics.ThemeStyle;
import com.googlecode.lanterna.input.KeyStroke;
import com.googlecode.lanterna.input.KeyType;
import java.util.ArrayList;
import java.util.List;
