From b68e84cdd7170369a93416447ecedcdaf09cbcae Mon Sep 17 00:00:00 2001 From: Marcel Kronfeld Date: Tue, 11 Mar 2008 13:49:20 +0000 Subject: [PATCH] Just fewer warnings... --- src/wsi/ra/tool/BasicResourceLoader.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/wsi/ra/tool/BasicResourceLoader.java b/src/wsi/ra/tool/BasicResourceLoader.java index 4f34fa77..d523a069 100644 --- a/src/wsi/ra/tool/BasicResourceLoader.java +++ b/src/wsi/ra/tool/BasicResourceLoader.java @@ -102,7 +102,7 @@ public class BasicResourceLoader implements ResourceLoader * @param resourceFile Description of the Parameter * @return Description of the Return Value */ - public static List readLines(String resourceFile) + public static List readLines(String resourceFile) { return readLines(resourceFile, false); } @@ -114,7 +114,7 @@ public class BasicResourceLoader implements ResourceLoader * @param ignoreComments Description of the Parameter * @return Description of the Return Value */ - public static List readLines(String resourceFile, + public static List readLines(String resourceFile, boolean ignoreCommentedLines) { return readLines(resourceFile, new String[] {"#"}, 0, -1); @@ -129,7 +129,7 @@ public class BasicResourceLoader implements ResourceLoader * @param lCnt number of lines to read, if <= 0, all lines are read * @return Description of the Return Value */ - public static List readLines(String resourceFile, + public static List readLines(String resourceFile, String[] ignorePrefix, int lOffset, int lCnt) { if (resourceFile == null)