Updated SDK manager to make sure scan job is not already running before scheduling it; also default OS version to 9.5 if buildinfo.txt is missing from an SDK.
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>
<!--
<copyright>
</copyright>
$Id: plugin.xml,v 1.1 2009/02/05 00:31:08 wpaul Exp $
-->
<plugin>
</plugin>