The great Ubuntu Karmik is just around the corner. If you happen to use Eclipse from the official eclipse webpage and you see that some eclipse buttons do not work, then apply the following hack. Make yourself a one line script to execute eclipse like follows:
and it will work again. For tptp (the profiling tools for eclipse) you’ll need libstdc++5 package from debian.