return scriptFile;
}
public void setScriptFile(final VirtualFile pScriptFilePointer) {
final VirtualFilePointerManager mgr = VirtualFilePointerManager.getInstance();
final VirtualFilePointer pointer = mgr.create(pScriptFilePointer, this);
setScriptFile(pointer);
}
public void setScriptFile(final VirtualFilePointer pScriptFilePointer) {
scriptFile = pScriptFilePointer;