+ " an instance of SyntaxDOcument");
+ " an instance of SyntaxDocument");
	public void setDocument(Document doc)	{		if(doc instanceof SyntaxDocument)			super.setDocument(doc);		else			throw new IllegalArgumentException("Document is not"				+ " an instance of SyntaxDOcument");	}