PROVIDE: contrib/jedit { "jedit.factor" "jedit.facts" } { } ;