NONE: Using Clover Core version 3.3.0