pane.add(new JScrollPane(examples), c);
MouseListener mouseListener = new MouseAdapter() {
public void mouseClicked(MouseEvent e) {
if (e.getClickCount() == 2) {
int index = examples.locationToIndex(e.getPoint());
String example = ExampleModels.EXAMPLE_MODELS[index];
example = example.split(":")[0];
mSplash.setVisible(false);
loadModel(BUILTIN, example);
boolean[] coverage = { true, true, false, false, false };