*/
protected void setUp() {
// String providerClassName = System.getProperty("ch.ethz.prose.JVMAIProvider","ch.ethz.inf.iks.jvmai.jvmdi.HotSwapProvider");
// Class providerClass = Class.forName(providerClassName);
// Provider provider = (Provider)providerClass.newInstance();
Provider provider = new HotSwapProvider();
aspectInterface = (HotSwapAspectInterfaceImpl) provider.getAspectInterface();
aspectInterface.startup(new String[0], true);
}