Uses of Class
org.eclipse.xtext.ui.editor.folding.DefaultFoldedPosition

No usage of org.eclipse.xtext.ui.editor.folding.DefaultFoldedPosition