Инструменты разработчика Android Ubuntu 14.04

Я недавно обновил свой компьютер до Ubuntu 14.04, и мне очень понравились все новые функции, но в течение часа или двух мое удовольствие закончилось. Вскоре я узнал, что комплект ADT неожиданно и постоянно зависает. Это не говорит, что разбился. Он просто случайным образом завершает работу, а затем я останусь на пару минут назад, что очень неудобно при кодировании приложений для Android. Особенно с учетом того факта, что он «падает» после использования в течение нескольких минут.

Это общая проблема? Это неслыханно? Есть ли известное решение для этого?

Любая помощь приветствуется.

Спасибо.

РЕДАКТИРОВАТЬ

Я решил запустить ADT из терминала, чтобы посмотреть, какой выход был там, когда он «зависал», и вот он здесь.

Местоположение журнала bp не сохранено, по умолчанию

[000:000] Cpu: 6.23.10, x2, 2668Mhz, 1968MB

[000:000] Computer model: Not available

[000:000] Browser XEmbed support present: 1

[000:000] Browser toolkit is Gtk2.

[000:000] Using Gtk2 toolkit

No bp log location saved, using default.

[000:000] Cpu: 6.23.10, x2, 2668Mhz, 1968MB

[000:000] Computer model: Not available

[000:397] No bp log location saved, using default.

[000:397] Cpu: 6.23.10, x2, 2668Mhz, 1968MB

[000:397] Computer model: Not available

[000:397] Browser XEmbed support present: 1

[000:397] Browser toolkit is Gtk2.

[000:397] Using Gtk2 toolkit

[000:334] No bp log location saved, using default.

[000:334] Cpu: 6.23.10, x2, 2668Mhz, 1968MB

[000:334] Computer model: Not available

Segmentation fault (core dumped)

-

Итак, мне нужен журнал bp? Я не знаю, что это. Надеюсь, это поможет.