Miscellaneous Java utils and Eclipse RCP code