Moved Manticore to the package com.core