minor modifactions

on my way to kill some bugs in jde