Fixed NullPointerException (problems == null) may occur
[phpeclipse.git] / net.sourceforge.phpeclipse.xdebug.ui / plugin.properties
2004-12-06 walslebeninital