static void ReleaseCompilationTicket (string key) { lock (compilationTickets.SyncRoot) { compilationTickets.Remove (key); } } }