Index: /branches/1.3/Decompiler.class.php
===================================================================
--- /branches/1.3/Decompiler.class.php	(revision 727)
+++ /branches/1.3/Decompiler.class.php	(revision 728)
@@ -1670,5 +1670,5 @@
 		// }}}
 		// {{{ properties
-		if (!empty($class['default_properties'])) {
+		if (!empty($class['default_properties']) || !empty($class['default_static_members'])) {
 			echo "\n";
 			$infos = !empty($class['properties_info']) ? $class['properties_info'] : null;