RFC: Change name of default HotSpot to 'default'

[Andrew Haley]

Andrew John Hughes wrote:
> 2009/2/12 Andrew John Hughes <gnu_andrew at member.fsf.org>:
>> This patch renames the name of the default HotSpot patch
>> set to be 'default' rather than the specific version.  We
>> should of course document what that version is elsewhere.
>> I propose it either tracks 7 or we at least update to the latest
>> b14 release as there are some bug fixes (I'll do this in a
>> subsequent patch).
>>
>> Ok to commit?
> 
> The motivation for this patch is that we otherwise have to do an
> equivalent change every time we want to change the HotSpot revision.
> It also makes it clearer which patches will be applied, should an
> option not be passed to configure.

Ahh, good idea, yes.

Andrew.