Devel

some tiny code cleanup to remove eclipse warnings