# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@oracle.com>
# Date 1435218294 -7200
# Node ID 9515f0ac356acf3a2632abaebd7273f984742c3e
# Parent  44aba5c095920665765daeadd6a51782d9c59950
Make sure the code compiles with JDK7

diff -r 44aba5c09592 -r 9515f0ac356a truffle/com.oracle.truffle.tools.debug.engine/src/com/oracle/truffle/tools/debug/engine/DebugEngine.java
--- a/truffle/com.oracle.truffle.tools.debug.engine/src/com/oracle/truffle/tools/debug/engine/DebugEngine.java	Thu Jun 25 09:28:42 2015 +0200
+++ b/truffle/com.oracle.truffle.tools.debug.engine/src/com/oracle/truffle/tools/debug/engine/DebugEngine.java	Thu Jun 25 09:44:54 2015 +0200
@@ -548,7 +548,7 @@
         }
 
         @Override
-        protected void setStrategy(int stackDepth) {
+        protected void setStrategy(final int stackDepth) {
             Probe.setBeforeTagTrap(new SyntaxTagTrap(STEPPING_TAG) {
 
                 @Override
@@ -623,7 +623,7 @@
         }
 
         @Override
-        protected void setStrategy(int stackDepth) {
+        protected void setStrategy(final int stackDepth) {
             Probe.setBeforeTagTrap(new SyntaxTagTrap(STEPPING_TAG) {
 
                 @Override