/** * Returns the name manager (namespace) of current session. * * @return the name manager (namespace) of current session. */ public static NameManager getNameManager() { return current().getNameManager(); }
/** * Returns the name manager (namespace) of current session. * * @return the name manager (namespace) of current session. */ public static NameManager getNameManager() { return current().getNameManager(); }