import com.sun.jini.phoenix.*;
import net.jini.jeri.*;
import net.jini.jeri.tcp.*;

com.sun.jini.phoenix {

    persistenceDirectory = "log";
    persistenceSnapshotThreshold = 10;

    groupOptions = new String[]{
	"-Djsk.home=${jsk.home}"
    };

}