Simple Eclipse plugin to change the font size fast