add "import java.awt.event.* ;" to make patch work