JBIDE-18289: restore copyright header