JBIDE-18286: restore copyright header