jxr: remove unused file