implement servlet/impl split, edit-and-copy hack