anon-iclr-submission/benchname-bug-localization huggingface dataset:
Repository: wuan/bo-android
Issue: use options menu on devices without soft menu button

The new popup menu does not work on android 2.x devices


Changed files:
app/src/main/java/org/blitzortung/android/app/Main.kt, app/src/main/java/org/blitzortung/android/app/MainPopupMenu.kt

diff --git a/app/src/main/java/org/blitzortung/android/app/Main.kt b/app/src/main/java/org/blitzortung/android/app/Main.kt
index 5c715480..df8eb342 100644
--- a/app/src/main/java/org/blitzortung/android/app/Main.kt
+++ b/app/src/main/java/org/blitzortung/android/app/Main.kt
@@ -36,9 +36,7 @@ import android.preference.PreferenceManager
 import android.provider.Settings
 import android.text.format.DateFormat
 import android.util.Log
-import android.view.View
-import android.view.ViewConfiguration
-import android.view.WindowManager
+import android.view.*
 import android.widget.ImageButton
 import android.widget.Toast
 import com.google.android.maps.GeoPoint
@@ -525,6 +523,19 @@ class Main : OwnMapActivity(), OnSharedPreferenceChangeListener {
         }
     }
 
+    override fun onCreateOptionsMenu(menu: Menu): Boolean {
+        super.onCreateOptionsMenu(menu)
+        menuInflater.inflate(R.menu.main_menu, menu)
+
+        return true
+    }
+
+    override fun onOptionsItemSelected(item: MenuItem): Boolean {
+        val popupMenu = MainPopupMenu(this, menu)
+
+        return popupMenu.onMenuItemSelected(null, item)
+    }
+
     override fun onSharedPreferenceChanged(sharedPreferences: SharedPreferences, keyString: String) {
         onSharedPreferenceChanged(sharedPreferences, PreferenceKey.fromString(keyString))
     }
@@ -617,4 +628,4 @@ class Main : OwnMapActivity(), OnSharedPreferenceChangeListener {
 
         val REQUEST_GPS = 1
     }
-}
\\ No newline at end of file
+}
diff --git a/app/src/main/java/org/blitzortung/android/app/MainPopupMenu.kt b/app/src/main/java/org/blitzortung/android/app/MainPopupMenu.kt
index b3424c96..37f44460 100644
--- a/app/src/main/java/org/blitzortung/android/app/MainPopupMenu.kt
+++ b/app/src/main/java/org/blitzortung/android/app/MainPopupMenu.kt
@@ -16,7 +16,7 @@ import org.jetbrains.anko.startActivity
 class MainPopupMenu(private val context: Context, anchor: View) : PopupMenu(context, anchor) {
     override fun onMenuItemSelected(menu: MenuBuilder?, item: MenuItem): Boolean {
         val versionComponent = VersionComponent(context)
-        if(item.itemId == R.id.menu_preferences) {
+        if (item.itemId == R.id.menu_preferences) {
             context.startActivity<Preferences>()
         } else {
             val dialog = when (item.itemId) {
@@ -29,7 +29,7 @@ class MainPopupMenu(private val context: Context, anchor: View) : PopupMenu(cont
                 else -> null
             }
 
-            if(dialog is Dialog) {
+            if (dialog is Dialog) {
                 dialog.show()
             }
         }
Repository: holunda-io/camunda-bpm-taskpool
Issue: Taskpool Cockpit: Create time is displayed incorrectly

It seems that there is a problem when formatting the create time. The table displays e.g. `Create time:
1549471516.656` which is a floating point value. It seems that in formatting, this is interpreted as millis, but it is seconds. The result is that the displayed date is `1970-01-18 23:24:31.517`


Changed files:
view/cockpit/application/src/main/kotlin/io/holunda/camunda/taskpool/cockpit/TaskpoolCockpitApplication.kt

diff --git a/view/cockpit/application/src/main/kotlin/io/holunda/camunda/taskpool/cockpit/TaskpoolCockpitApplication.kt b/view/cockpit/application/src/main/kotlin/io/holunda/camunda/taskpool/cockpit/TaskpoolCockpitApplication.kt
index 961b0703f..86dff9984 100755
--- a/view/cockpit/application/src/main/kotlin/io/holunda/camunda/taskpool/cockpit/TaskpoolCockpitApplication.kt
+++ b/view/cockpit/application/src/main/kotlin/io/holunda/camunda/taskpool/cockpit/TaskpoolCockpitApplication.kt
@@ -2,7 +2,6 @@ package io.holunda.camunda.taskpool.cockpit
 
 import org.springframework.boot.SpringApplication
 import org.springframework.boot.autoconfigure.SpringBootApplication
-import org.springframework.web.reactive.config.EnableWebFlux
 
 /**
  * Starts the app.
@@ -16,5 +15,4 @@ fun main(args: Array<String>) {
  */
 @SpringBootApplication
 @EnableTaskPoolCockpit
-@EnableWebFlux
 open class TaskpoolCockpitApplication