function load_file(path)
{
	var file = new java.io.File( project.replaceProperties(path) );
	var reader = new java.io.FileReader(file);
	var buffered_reader = new java.io.BufferedReader(reader);
	
	var line = buffered_reader.readLine();
	var sb = new java.lang.StringBuilder();
	
	while(line != null)
	{
	  sb.append(line).append("\n");
	  line = buffered_reader.readLine();
	}
	
	return sb.toString();
}
// Load file into string and return it
Load file into string and return it
Load file into string and return it
function load_file(path)
{
	var file = new java.io.File( project.replaceProperties(path) );
	var reader = new java.io.FileReader(file);
	var buffered_reader = new java.io.BufferedReader(reader);
	var line = buffered_reader.readLine();
	var sb = new java.lang.StringBuilder();
	while(line != null)
	{
	  sb.append(line).append("\n");
	  line = buffered_reader.readLine();
	}
	return sb.toString();
}
function load_file ( path ) { var file = new java . io . File ( project . replaceProperties ( path ) ) ; var reader = new java . io . FileReader ( file ) ; var buffered_reader = new java . io . BufferedReader ( reader ) ; var line = buffered_reader . readLine ( ) ; var sb = new java . lang . StringBuilder ( ) ; while ( line != null ) { sb . append ( line ) . append ( "\n" ) ; line = buffered_reader . readLine ( ) ; } return sb . toString ( ) ; }
Load file into string and return it
Load file into string and return it