A JML specification based test suite for SCJ