public JavaElementToken(
String rep,
String doc,
String args,
String parentPackage,
int type,
IJavaElement javaElement,
CompletionProposal completionProposal) {
super(rep, doc, args, parentPackage, type, null);
this.javaElement = javaElement;
this.completionProposalKind = completionProposal.getKind();
this.completionProposalFlags = completionProposal.getFlags();
if (HAS_ADDITIONAL_FLAGS) {
this.completionProposalAdditionalFlags = completionProposal.getAdditionalFlags();
}
this.completionPropsoalSignature = completionProposal.getSignature();
}
