080223

• WARNING: new deprecated API: will be gone in ~one month (see javadoc for replacement):
  • jpen.PKind constructor
  • jpen.PenState constructors
  • jpen.PenState.setValues
  • jpen.PenState.getKindType() & getKindTypeNumber()
• Added new class: jpen.PenStateCopy. It can be used to save/restore the pen state.