JBIDE-14363 forgot a file