# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1409738441 -7200
# Node ID 86749331247ad90b90f810c8fbf8e98965161d48
# Parent  2d6dd2eebd5167941231c1652872df92d4b2ee58
Truffle/API:  TruffleScriptEngineFactory.engineCreated() is now final
Contributed-By: Michael Van De Vanter  <michael.van.de.vanter@oracle.com>

diff -r 2d6dd2eebd51 -r 86749331247a graal/com.oracle.truffle.api/src/com/oracle/truffle/api/script/TruffleScriptEngineFactory.java
--- a/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/script/TruffleScriptEngineFactory.java	Tue Sep 02 21:42:37 2014 -0700
+++ b/graal/com.oracle.truffle.api/src/com/oracle/truffle/api/script/TruffleScriptEngineFactory.java	Wed Sep 03 12:00:41 2014 +0200
@@ -38,7 +38,7 @@
      *
      * @param engine a just-created engine
      */
-    protected void engineCreated(ScriptEngine engine) {
+    protected final void engineCreated(ScriptEngine engine) {
     }
 
 }