%% 
%% Search data file for jinterface 1.5.8
%% generated June 17, 2013
%% 
{"jinterface.html", {function, {"jinterface", "jinterface"}},
[
]}.
{"jinterface.html", {module, "jinterface"}, ["jinterface"]}.
{notused, application, ["jinterface"]}.
