Packages 
Package Description
interop  
pivot_client  
pivot_gui  
pivot_webservice
PIVOT_webservice_1.4.2
plugin.core  
plugin.definition  
plugin.definition.editStarlist  
plugin.implementation.editStarlist