Removed unused imports from class JmlProgram.