diff options
| author | Noel Grandin <noel@peralex.com> | 2014-08-13 10:08:31 +0200 |
|---|---|---|
| committer | Noel Grandin <noel@peralex.com> | 2014-08-13 10:24:10 +0200 |
| commit | 34bcf9b498bccb5c924f4cec850ff15d88df6f07 (patch) | |
| tree | 4d9604ec8c3b73639338ec45a0618b5daa5cf0ed /scripting/workben/installer/InstUtil.java | |
| parent | We seem to need the tdoc UCP for saving (diff) | |
| download | core-34bcf9b498bccb5c924f4cec850ff15d88df6f07.tar.gz core-34bcf9b498bccb5c924f4cec850ff15d88df6f07.zip | |
java: remove dead methods
found by UCDetector
Change-Id: I219caa8e680dba5a395541a778df6144841c4dde
Diffstat (limited to 'scripting/workben/installer/InstUtil.java')
| -rw-r--r-- | scripting/workben/installer/InstUtil.java | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/scripting/workben/installer/InstUtil.java b/scripting/workben/installer/InstUtil.java index ed9fd928e17b..af29db64c3ce 100644 --- a/scripting/workben/installer/InstUtil.java +++ b/scripting/workben/installer/InstUtil.java @@ -91,15 +91,7 @@ public class InstUtil { } - public static boolean hasJeditInstallation() { - boolean result = false; - result = checkForSupportedVersion( getJeditLocation(), versions ); - if ( !result ) - { - System.out.println("No supported version for JEdit found."); - } - return result; - } + |