jedit: the recipe