Small jigadm problem

In jigsaw-1.0beta1, when clicking the "Filters" button on one of
the nodes under http-server:space you get a NullPointerException
from w3c.jigadm.editors.FiltersHelper.java, on line 336. It tries
to get the property w3c.jigadm.editors.filters, but it isn't
found. Where should it be defined? Is some file missing from the
distribution?

A workaround if to check for a null return value, and in that case set
a to an empty string:

	    String af = config.getProperty(
		"w3c.jigadm.editors.filters");
>>	    if (af == null)
>>	      af = "";
	    StringTokenizer st = new StringTokenizer(af, "|");

--tml