I found this site, suggested by Carlos Martins in his Blog, to convert online typical/common audio formats to other known formats:

http://media.io

It converts .mp3, .wav, .ogg, .wma, .m4a, .mp4 and .aac to:

• MP3
• OGG
• WAV
• WMA

4 quality levels (in Kbps):

• High: ~256
• Medium: ~192
• Normal: ~128
• Low: ~96

Enjoy!!!

PS- It doesn't work in Google Chrome (yet)...

Eclipse + Gnome + Compiz Issue

Since Eclipse has a small problem with Gnome 2(.28.1) and activated Compiz, it's necessary to set an the GDK_NATIVE_WINDOWS environment variable to true:

GDK_NATIVE_WINDOWS=true

So I created a small eclipse.sh script on the Eclipse directory, to execute the program and call the variable without interfering with the system:

#!/bin/sh
export GDK_NATIVE_WINDOWS=true
./eclipse