public String app_source_path(String app_class){
  String filename=app_class.replace(".","/");
  filename=filename.replaceFirst("[$][0-9]+","");
  if (filename.indexOf("$") > 0) {
    filename=filename.substring(0,filename.indexOf("$"));
  }
  return "../jsrc/" + filename + ".java.html";
}

public String app_source_path ( String app_class ) { String filename = app_class . replace ( "." , "/" ) ; filename = filename . replaceFirst ( "[$][0-9]+" , "" ) ; if ( filename . indexOf ( "$" ) > 0 ) { filename = filename . substring ( 0 , filename . indexOf ( "$" ) ) ; } return "../jsrc/" + filename + ".java.html" ; }
returns the relative path from the android directory to the source html created by java2html
