small changes to javaed