RMACustomizer.java

package jade.tools.rma;

/**
 * Base class for all RMA customizers. An RMA customizer is an obiect that allows customizing the 
 * RMA GUI. When the RMA starts up it automatically loads all classes extending this base class and 
 * included in the jade.tools.rma.customizers package and uses them to customize its GUI. 
 */
public class RMACustomizer {
	

}