100644 blob 47a232c71df1e2a5db42c14ee3852b742389bc4e	.project
040000 tree b1ec4b28d9cfda4acff2ed7b6cb2e02e0d7192f1	configurations
040000 tree 4ec254c86bfa15ae4b82838beb19563b5f204e86	estimation
100644 blob c6bef160667c0e4143081bf3f241b2a71ad99a01	library.xmi
040000 tree c6d46031261d7c014ef6d69230de8075008f20ce	new_plug-in