Updated Manifest Class-Path
solve alloy module
WIP parse instance description