Fix for #1380415 (toshihiro)
[phpeclipse.git] / net.sourceforge.phpeclipse.debug.core / plugin.properties