@@ -0,0 +1,667 @@
+package com.vaadin.tests.components.button;%0A%0Aimport com.vaadin.terminal.ThemeResource;%0Aimport com.vaadin.tests.components.TestBase;%0Aimport com.vaadin.ui.Button;%0A%0Apublic class IE7ButtonWithIcon extends TestBase %7B%0A%0A    @Override%0A    protected String getDescription() %7B%0A        return %22The button should contain the text %5C%22Normal%5C%22 and an 16x16 icon and have padding to the left and the right%22;%0A    %7D%0A%0A    @Override%0A    protected Integer getTicketNumber() %7B%0A        return 3031;%0A    %7D%0A%0A    @Override%0A    protected void setup() %7B%0A        Button b = new Button(%22Normal%22);%0A        b.setIcon(new ThemeResource(%22../runo/icons/16/ok.png%22));%0A%0A        addComponent(b);%0A    %7D%0A%0A%7D%0A

Test case for #3031