adding jawr/.derived for eclipse plugin AutoDeriv