Fixed NullPointerException (problems == null) may occur
[phpeclipse.git] / archive / net.sourceforge.phpeclipse.monitor.core / build.xml
2004-12-29 axelclmisc