At the moment Time::getCompilationDate() returns a Time object with the time always set to 12:00.
I can't imagine that it would break any existing code if it would return the actual compilation time. I'd consider it quite useful.
My suggestion:
Time Time::getCompilationDate()
{
StringArray dateTokens;
dateTokens.addTokens (__DATE__, true);
dateTokens.removeEmptyStrings (true);
StringArray compileTime;
compileTime.addTokens (__TIME__, ":", String::empty); // E.g. __TIME__ = "23:59:01"
return Time (dateTokens[2].getIntValue(),
getMonthNumberForCompileDate (dateTokens[0]),
dateTokens[1].getIntValue(),
compileTime[0].getIntValue(),
compileTime[1].getIntValue());
}