use JMockit to mock StudentManager