1 files changed, 0 insertions, 40 deletions
diff --git a/testrunner/src/main/java/com/galois/fiveui/selenium/SelUtils.java b/testrunner/src/main/java/com/galois/fiveui/selenium/SelUtils.java
deleted file mode 100644
index 98bd2b9..0000000
--- a/testrunner/src/main/java/com/galois/fiveui/selenium/SelUtils.java
+++ /dev/null
@@ -1,40 +0,0 @@
-/**
- * Module     : SelUtils.java
- * Copyright  : (c) 2011-2012, Galois, Inc.
- *
- * Maintainer :
- * Stability  : Provisional
- * Portability: Portable
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- *      http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-package com.galois.fiveui.selenium;
-
-import java.awt.Toolkit;
-import java.awt.datatransfer.StringSelection;
-
-import org.openqa.selenium.Keys;
-import org.openqa.selenium.WebElement;
-
-public class SelUtils {
-	// This method writes a string to the system clipboard.
-	public static void setClipboard(String str) {
-	    StringSelection ss = new StringSelection(str);
-	    Toolkit.getDefaultToolkit().getSystemClipboard().setContents(ss, null);
-	}
-	
-	public static void paste(WebElement elt, String str) {
-		setClipboard(str);
-		elt.sendKeys(Keys.CONTROL + "v");
-	}
-}