From 99cfde2030cb7a257b15312624d919947a3af870 Mon Sep 17 00:00:00 2001
From: dolby-oss <dolby-oss@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Fri, 7 Dec 2007 01:48:21 +0000
Subject: [PATCH] fix for Sun javac compile issue

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2124 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java b/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
index fb882a24a..cb731ba1f 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/EmptyTheory.java
@@ -10,8 +10,7 @@
  *******************************************************************************/
 package com.ibm.wala.logic;
 
-import java.util.Collection;
-import java.util.Collections;
+import java.util.*;
 
 public class EmptyTheory extends AbstractTheory {
 
@@ -28,7 +27,7 @@ public class EmptyTheory extends AbstractTheory {
   }
 
   public IVocabulary getVocabulary() {
-    return BasicVocabulary.make(Collections.emptySet());
+    return BasicVocabulary.make(Collections.<IFunction>emptySet());
   }
 
 }