public void characters(char[] ch, int s, int len)
	{
		String content = new String(ch, s, len);
		
		if(content.length() != 0)
		{
			if(Debug.debugLevel() >= 5)
			{
				Debug.println("Characters received:", 5);
				Debug.println("  Characters: " + content, 5);
				Debug.println("End of characters.", 5);
				Debug.println("Adding content...", 5);
			}
			
			elements.get(elements.size() - 1).addText(content);
		}
	}