#########################################
#
#########################################
pluginName=PHPEclipse HTML Jtidy  
providerName=phpeclipse.de