Patches from Martin K�r:
[phpeclipse.git] / net.sourceforge.phpeclipse / prefs / default_linux.properties