What is this?
Functions:
Features:
Other Notes:
Shortcuts:
* shortcuts only work if 'focused' on code box
* Shortcuts for Aspect-Oriented Programming [AspectJ/AspectJML]
* Shortcuts for Design by Contract Programming [JML/AspectJML]
* Shortcuts for Java Programming