[Android] MediaDatabase: kill warnings

[Jean-Baptiste Kempf]

vlc-ports/android | branch: master | Jean-Baptiste Kempf <jb at videolan.org> | Thu Apr  4 11:27:42 2013 +0200| [64bcc4d5c95e04d32e29c3ec2a20f32ef831df02] | committer: Jean-Baptiste Kempf

MediaDatabase: kill warnings

> http://git.videolan.org/gitweb.cgi/vlc-ports/android.git/?a=commit;h=64bcc4d5c95e04d32e29c3ec2a20f32ef831df02
---

 vlc-android/src/org/videolan/vlc/MediaDatabase.java |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/vlc-android/src/org/videolan/vlc/MediaDatabase.java b/vlc-android/src/org/videolan/vlc/MediaDatabase.java
index 6d686c3..d43b0d5 100644
--- a/vlc-android/src/org/videolan/vlc/MediaDatabase.java
+++ b/vlc-android/src/org/videolan/vlc/MediaDatabase.java
@@ -286,6 +286,7 @@ public class MediaDatabase {
      * Get all paths from the items in the database
      * @return list of File
      */
+    @SuppressWarnings("unused")
     private synchronized HashSet<File> getMediaFiles() {
 
         HashSet<File> files = new HashSet<File>();
@@ -587,7 +588,7 @@ public class MediaDatabase {
      */
     public synchronized void addSearchhistoryItem(String key) {
         // set the format to sql date time
-        SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
+        SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd HH:mm:ss", Locale.US);
         Date date = new Date();
         ContentValues values = new ContentValues();
         values.put(SEARCHHISTORY_KEY, key);