Update percent to double instead of int in Progress Bar

Author: Julien Orain

src/main/java/com/github/gwtbootstrap/client/ui/Bar.java

@@ -56,20 +56,20 @@ public String get() {
      * Set bar width as a percent unit
      * @param percent percent
      */
-    public void setPercent(int percent) {
+    public void setPercent(double percent) {
         this.getElement().getStyle().setWidth(percent, Unit.PCT);
     }
 
     /**
      * Get bar width as a percent unit
      * @return percent
      */
-    public int getPercent() {
+    public double getPercent() {
         String width = this.getElement().getStyle().getWidth();
         if (width == null)
             return 0;
         else
-            return Integer.valueOf(width.substring(0, width.indexOf("%")));
+            return Double.valueOf(width.substring(0, width.indexOf("%")));
     }
 
     /**

src/main/java/com/github/gwtbootstrap/client/ui/ProgressBar.java

@@ -53,15 +53,15 @@ public ProgressBar(Style style) {
      * Set bar width as a percent unit
      * @param percent percent
      */
-	public void setPercent(int percent) {
+	public void setPercent(double percent) {
 		bar.setPercent(percent);
 	}
 
     /**
      * Get bar width as a percent unit
      * @return percent
      */
-	public int getPercent() {
+	public double getPercent() {
 	    return bar.getPercent();
 	}