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