A host of java shortcuts to make life easy