001    package plugins;
002    import sharpster.common.*;
003    import java.util.*;
004    
005    public class JavaRolePluginData extends PluginData {
006    
007      public String getPluginName() {
008        return "JavaRole";
009      }
010    
011    }