100644 blob 47a232c71df1e2a5db42c14ee3852b742389bc4e	.project
040000 tree d3f4b35ccc504fdef3fe87bf61601d155904690d	configurations
040000 tree 4ec254c86bfa15ae4b82838beb19563b5f204e86	estimation
100644 blob 2ce6ce4da658b8868ddafb0af355e88765ed57ba	library.xmi
040000 tree 6e385e959caebb00eb3f0e10270a68d94a641fb1	new_plug-in