modified:   sol.eclipse.jdt.ui/fragment.xml