Minor cleanups: I am unsure if these ports should be deprecated. At least jakarta-oro appears to be used so let them around for now. "makepatch" at jakarta-regexp while here. Approved by: thierry (mentor, implicit)
