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:
#!/bin/bash
export GDK_NATIVE_WINDOWS=1
./eclipse
and it will work again. For tptp (the profiling tools for eclipse) you’ll need libstdc++5 package from debian.