From f80d1fc7fe5b33b6a00aa90b733bc0637011daea Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Thu, 7 Jul 2016 15:22:20 +0200
Subject: [PATCH] fixed regex for java...

---
 app/assets/javascripts/editor.js.erb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/assets/javascripts/editor.js.erb b/app/assets/javascripts/editor.js.erb
index f9900eec..2a526aff 100644
--- a/app/assets/javascripts/editor.js.erb
+++ b/app/assets/javascripts/editor.js.erb
@@ -470,7 +470,7 @@ $(function() {
 
   var initializeRegexes = function(){
     regex_for_language.set("ace/mode/python", /File "(.+?)", line (\d+)/g);
-    regex_for_language.set("ace/mode/java", /(.*\.java):(\d):/g);
+    regex_for_language.set("ace/mode/java", /(.*\.java):(\d+):/g);
   }
 
   var initializeTooltips = function() {