since we always use directory, how about dir for this? since it's only for eclipse plugin, any method not to make it public? @wang16 @junmin-zhu