XCOMMONS-436: Make verification module usable as Eclipse cs extension