Keyboard shortcuts for the Kenya editor

The are some handy keyboard short cuts which can be used in the Kenya and Java editing areas, these provide handy text manipulation facilities that can save you a lot of time! These are summarised below:-