fixed bug with javitools