`CompletionProposal` is a case class defined by us, [here](https://github.com/scala-ide/scala-ide/blob/master/org.scala-ide.sdt.core/src/scala/tools/eclipse/completion/CompletionProposal.scala#L25)