Java development tools debug project repository (eclipse.jdt.debug)