Index: src/main/resources/OSGI-INF/blueprint/shell-dev.xml
===================================================================
--- src/main/resources/OSGI-INF/blueprint/shell-dev.xml	(revisione 1523208)
+++ src/main/resources/OSGI-INF/blueprint/shell-dev.xml	(copia locale)
@@ -40,6 +40,9 @@
                 <property name="watcher" ref="watcher"/>
             </action>
         </command>
+        <command name="dev/dump-properties">
+            <action class="org.apache.karaf.shell.dev.DumpProperties" />
+        </command>
     </command-bundle>
 
     <!-- Referenace to the Configuration Admin Service -->