eclipse / gerrit / papyrus / org.eclipse.papyrus-designer-extra / refs/heads/master / . / plugins / languages / java / org.eclipse.papyrus.designer.languages.java.jdt.texteditor / src / org / eclipse / papyrus / designer / languages / java / jdt