package bluej;




| Interface for a class which supports retrieving BlueJ property strings.
|
| @author Davin McCall
|
public interface BlueJPropStringSource
{       
public String getBlueJPropertyString(String property, String def);

   
   public String getLabel(String key); 
   }