fixed outline refresh bug
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / JavaElementProperties.java
2005-02-04 axelclfixed bug #1115300, #1115292