Roberto Lublinerman has uploaded a new change for review.
https://gwt-review.googlesource.com/2881
Change subject: Lint errors
......................................................................
Lint errors
Change-Id: I62cc493c7324d42bf6fa36085007cbd59e87933a
---
M dev/core/src/com/google/gwt/dev/util/arg/SourceLevel.java
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dev/core/src/com/google/gwt/dev/util/arg/SourceLevel.java
b/dev/core/src/com/google/gwt/dev/util/arg/SourceLevel.java
index 230f5a60..73eaf9d 100644
--- a/dev/core/src/com/google/gwt/dev/util/arg/SourceLevel.java
+++ b/dev/core/src/com/google/gwt/dev/util/arg/SourceLevel.java
@@ -81,8 +81,8 @@
SourceLevel result = SourceLevel.JAVA6;
try {
double javaSpecLevel =
Double.parseDouble(System.getProperty("java.specification.version"));
- for (double javaLevel : gwtLevelByJavaLevel.keySet() ) {
- if (javaSpecLevel >= javaLevel && javaSpecLevel >result.javaLevel)
{
+ for (double javaLevel : gwtLevelByJavaLevel.keySet()) {
+ if (javaSpecLevel >= javaLevel && javaSpecLevel >
result.javaLevel) {
result = gwtLevelByJavaLevel.get(javaLevel);
}
}
--
To view, visit https://gwt-review.googlesource.com/2881
To unsubscribe, visit https://gwt-review.googlesource.com/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I62cc493c7324d42bf6fa36085007cbd59e87933a
Gerrit-PatchSet: 1
Gerrit-Project: gwt
Gerrit-Branch: master
Gerrit-Owner: Roberto Lublinerman <[email protected]>
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
---
You received this message because you are subscribed to the Google Groups "GWT Contributors" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
